libraryPanel.addCopyToPanelButton("moveToProgram", "moveToProgramTip", programPanel);
// Collect all buttons of these panels and make sure they are equally
// sized.
List panelButtons = new ArrayList();
panelButtons.addAll(programPanel.getButtons());
panelButtons.addAll(libraryPanel.getButtons());
setCommonPreferredSize(panelButtons);
addBorder(programPanel, "programJars" );
addBorder(libraryPanel, "libraryJars" );