here some suggestions how it should look like:
-don’t make the same mistake and list all servers in the configuration-tree, there should be something like the selection of the installed jre’s. the user should be able to add a new server pofile, and selct the server type.
– in the project properties dialog there should be a selected server-profiles for deployment button and in the ide only the selected server of the project should be suggested in a selct-box with following options deploy/redeploy, undeploy,deploy/redeploy all,undeploy all.
– when you delete a server configuration there should be a warning thet there are several project assosiated with this server profile and the user should have followind options: delete anyway, undeploy all projects first and then delete, cancel