jhotdraw dist removed.