[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-1371) java.lang.NullPointerException after deleting project from workspace.