001    package escjava;
002    public class Version {
003        public static final String VERSION =  "ESCJava-2.0a9" ;
004    }