JBIDE-17847 - Bad UI workflow when changing the profile of a server

Disable cancel button
JBIDE-17935 - web port poller lacks synchronization on vars
JBIDE-17936 - set minimal width for server behavior section in editor
JBIDE-17936 - do not display temporary deploy data in rse mode
JBIDE-17959 - canceling edit server profile
JBIDE-17939 - have jmx view default bottom left
JBIDE-17996 - UI including device when displaying relative path
JBIDE-17938 - initial impl

JBIDE-17938 - make tools core only

JBIDE-17938 - make tools core only

JBIDE-17938 - make tools core only, cleanup

JBIDE-17938 - make tools core only, cleanup
JBIDE-18002 - restart nested zipped projects only on full publish or if they match restart regex; also fix UI issues
JBIDE-18002 - restart nested zipped projects only on full publish or if they match restart regex; also fix UI issues
JBIDE-18057 string off by one error in UI only
JBIDE-18064 - tabbed properties for server view
JBIDE-17927 i despise this code. It makes me cry.