jbosstools/jbosstools-jst — pull request #158 by vrubezhny (2013-06-07 16:34:48+00:00)
Title: JBIDE-14753 JBoss HTML/JSP editor shows file name in upper part of the e...

...ditor

Issue is fixed