Build.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 class Build {
00004 private static int build = 9;
00005 public static int getBuild() { return build; }
00006 public static String getBuildDate() { return "6/28/01"; }
00007 }