1.3.3 released

Fix the AbstractMDIMenuFactory addPluginsToolBar method leading to an NPE if the PluginManager is null
Fix the ClosableTabbedPane not resetting correctly the title when saving a tab with another name