public static AWorkspaceModeExtension getCurrentModeExtension() {
return getModeExtension(Controller.getCurrentModeController());
}
public static FileSystemManager getFileSystemMgr() {
return new FileSystemManager(getCurrentModeExtension().getFileTypeManager());
}