That's a great idea. We alrady have a JIRA for a modules page on each server, where the user can say which location on a per-module basis.
Should this be different? Should this be stored inside the project itself as a custom file in the .settings folder? Benefits of doign this are if you create new server configs often, you won't need to change this in each server but rather just in the project.
(for reference: https://jira.jboss.org/jira/browse/JBIDE-4374)