Remove version from PrologMain header

It has been a long time since 1.2.5.

Change-Id: I798a470780a4f365c95cf3c8bb3158c0367bfc05

src/repl/PrologMain.java

diff --git a/src/repl/PrologMain.java b/src/repl/PrologMain.java
index 95952b6..0862c04 100644
--- a/src/repl/PrologMain.java
+++ b/src/repl/PrologMain.java
@@ -32,16 +32,13 @@
  * @version 1.0
  */
 public class PrologMain {
-    /** Version information */
-    public static final String VERSION   = "Prolog Cafe 1.2.5 (mantis)";
-    /** Copyright information */
-    public static final String COPYRIGHT = "Copyright(C) 1997-2009 M.Banbara and N.Tamura";
+    private static final String COPYRIGHT = "Copyright(C) 1997-2009 M.Banbara and N.Tamura";
+    private static final String HEADER = "Prolog Cafe (" + COPYRIGHT + ")";
 
     public static void main(String argv[]) {
 	BlockingPrologControl p;
 	try {
-	    System.err.println("\n" + VERSION); 
-	    System.err.println(COPYRIGHT);
+	    System.err.println(HEADER);
 	    if (argv.length != 1) {
 		usage();
 		System.exit(999);