The following preferences can be changed on the JBoss Tools > JBoss Servers preference page.
Here is what the JBoss Servers preference page looks like:
Figure 7.4. JBoss Servers