public ErrorHandler getErrorHandler() { return workbench.getFrame(); }
public Blackboard getBlackboard() { return workbench.getBlackboard(); }
public DriverManager getDriverManager() { return workbench.getDriverManager(); }
private JInternalFrame activeInternalFrame() { return workbench.getFrame().getActiveInternalFrame(); }