[jboss-user] [JBoss Tools (users)] - workspace null pointer error when restoring seam workbench