JBIDE-15789 Renaming HTML file doesn't change editor title

Issue is fixed