//module org.jhotdraw;
package org.jhotdraw;

public class Version {
	public static final String version = "JHotdraw 7.1";
}