[jboss-user] [JBoss Tools (users)] - Re: error when trying to open jboss tools html editor