pack();
capabilityInfoPanel1.addActionListener(MapPanel.getSingleton());
Toolkit.getDefaultToolkit().addAWTEventListener(new AWTEventListener() {
@Override
public void eventDispatched(AWTEvent event) {
<BUG>if (((KeyEvent) event).getID() == KeyEvent.KEY_PRESSED) {
KeyEvent e = (KeyEvent) event;</BUG>
if (DSWorkbenchMainFrame.getSingleton().isActive()) {
if (e.getKeyCode() == KeyEvent.VK_DOWN) {
scroll(0.0, 2.0);

pack();
capabilityInfoPanel1.addActionListener(MapPanel.getSingleton());
Toolkit.getDefaultToolkit().addAWTEventListener(new AWTEventListener() {
@Override
public void eventDispatched(AWTEvent event) {
if (event.getID() == KeyEvent.KEY_PRESSED) {
KeyEvent e = (KeyEvent) event;
if (DSWorkbenchMainFrame.getSingleton().isActive()) {
if (e.getKeyCode() == KeyEvent.VK_DOWN) {
scroll(0.0, 2.0);
