GitHub repository: EwoutH/jhotdraw8
Description: JHotDraw 8