From: rtrimana <rtrimana@uci.edu>
Date: Mon, 10 Jun 2019 22:05:55 +0000 (-0700)
Subject: Starting a new version of Java Pathfinder.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d95b6fbfc93a0f8eaac137318586302e62028b78;p=jpf-core.git

Starting a new version of Java Pathfinder.
---

diff --git a/examples/HelloWorld.java b/examples/HelloWorld.java
index 946bf3b..1ac8f4b 100644
--- a/examples/HelloWorld.java
+++ b/examples/HelloWorld.java
@@ -3,5 +3,6 @@ public class HelloWorld {
 	public static void main(String[] args) {
 
 		System.out.println("Hello World!");
+	
 	}
-}
\ No newline at end of file
+}