Provides basic support for managing a workspace and its resources.
|Modifier and Type||Method and Description|
it is no longer possible to override the workspace lock behavior. This functionality is now provided in the platform API by subclassing the
Copyright (c) 2000, 2013 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.