If you open the eclipse/plugins dir you will see a plugin for jboss prefs. Open that up ans see what it defaults to. In jboss3.4.2, does not matter what you do the eclipse always uses the default config, so you need to change the pref file. You might have to do something similar.