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