[jboss-user] [JBoss Tools (users)] - Re: how to configure for hot deployment of JSP files