PaletteToolBarUI.java, org.jhotdraw.gui.plaf.palette: 1454
DefaultDrawingView.java, org.jhotdraw.draw: 1535
