[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-5087) NullPointerException when do JBoss server publish once the name of the project is changed