HTMLTextAreaFigure.java, org.jhotdraw.contrib.html: 1144
DrawApplication.java, org.jhotdraw.application: 1177
