public class RunJPF {
	public static void main(String[] args) {
		final String HOME = "/courses/4315/"; // location of .jpf directory
		System.setProperty("user.home", HOME);
		
		System.out.println("Running JPF with the following application properties file:\n");
		for (String property : args) {
			System.out.println(property.substring(1));
		}
		
		System.out.println("\nOutput produced by JPF:\n");
	
		gov.nasa.jpf.tool.RunJPF.main(args);
	}
}