public EditorKitManager() { editorKits = new ArrayList<>(); workspaceManager = new WorkspaceManager(); }
public EditorKitManager() { editorKits = new ArrayList<EditorKit>(); workspaceManager = new WorkspaceManager(); }
public EditorKitManager() { editorKits = new ArrayList<EditorKit>(); workspaceManager = new WorkspaceManager(); }