---

NewBuild.java

package gov.nasa.arc.ase.jpf;

import java.util.Date;
import java.text.DateFormat;

public class NewBuild {
  public static void main(String[] args) {
    int build = Build.getBuild() + 1;

    System.out.println("package gov.nasa.arc.ase.jpf;");
    System.out.println();
    System.out.println("class Build {");
    System.out.println("private static int build = " + build + ";");
    System.out.println("public static int getBuild() { return build; }");
    System.out.println("public static String getBuildDate() { return \"" + today() + "\"; }");
    System.out.println("}");
    System.err.println("Current build is " + build);
  }  
  private static String today() {
    Date now = new Date();
    DateFormat df = DateFormat.getDateInstance(DateFormat.SHORT);

    return df.format(now);
  }  
}

---