Got the right version of JHotDraw