Move getBaseLocation() utility method to WorkbenchUtility
ref #6954 Disable saveAndRestoreFlag for ModelResourceHandler
ref #6954 workbench.xmi is not saved anymore
Add javadoc
ref #6745 Change location of workbench.xmi to {install}/configuration
ref #6745 Change save location of workbench.xmi