ref #7013: code cleaning and fix of NonUniqueException without progress monitor
fix #7065: update the nameEditors also after update publish flag
ref #6913 Remove dependency to WorkbenchWindow from utility class
temporary fix for jenkins build
fix setPublishFlagForSubtree in editor
enable setPublishFlagForSubtree in edior