[jboss-user] [JBoss Tools (users)] - Re: Can't open JBoss Tools HTML Editor in OS X