JBIDE-13681 compile failed in org.jboss.tools.jst.web.ui