kitchen sink

2025-01-24 13:56:11 -06:00
parent a0ebc39b59
commit 8eaa615596
25 changed files with 444 additions and 412 deletions
--- a/extras/JavaVersion.java
+++ b/extras/JavaVersion.java
@ -4,10 +4,6 @@
 */
 public final class JavaVersion {
  public static void main(String[] args) {
-    String p = System.getProperty("java.version");
-    if (p != null)
-      System.out.println(p);
-    else
-      System.exit(1);
+    System.out.println(System.getProperty("java.version"));
  }
 }