public DrawApplication(String title) { super(title); setApplicationName(title); winCount++;
public DrawApplication() { this("JHotDraw");
	public DrawApplication(String title) {		super(title);		setApplicationName(title);		winCount++;	}