jbosstools/jbosstools-jst — pull request #218 by vrubezhny (2013-10-30 18:17:04+00:00)
Title: JBIDE-15789 Renaming HTML file doesn't change editor title

Issue is fixed