/* (non-Javadoc)
* @see org.eclipse.ui.preferences.IWorkbenchPreferenceContainer#getWorkingCopyManager()
*/
public IWorkingCopyManager getWorkingCopyManager() {
if(workingCopyManager == null){
workingCopyManager = new WorkingCopyManager();
}
return workingCopyManager;
}