@WorkbenchPartTitle public String getTitle() { return view.getTitle( FileNameUtil.removeExtension(versionRecordManager.getCurrentPath(), type), versionRecordManager.getVersion()); }