private JTabbedPane buildProblemsConsole() {
// build the problems/console editor
JTabbedPane tp = new JTabbedPane();
ImageIcon consoleIcon = makeImageIcon("stock_print-layout-16.png");
tp.addTab("Problems", addScrollers(problemsView));
tp.addTab("Console", consoleIcon, addScrollers(consoleView));
// empty border to give padding around tab pane
tp.setBorder(BorderFactory.createEmptyBorder(3, 3, 3, 3));
return tp;
}
