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

Starting a new version of Java Pathfinder.
---

diff --git a/examples/HelloWorld.java b/examples/HelloWorld.java
index 1ac8f4b..8b682a7 100644
--- a/examples/HelloWorld.java
+++ b/examples/HelloWorld.java
@@ -3,6 +3,5 @@ public class HelloWorld {
 	public static void main(String[] args) {
 
 		System.out.println("Hello World!");
-	
 	}
 }