Fix box and VR keys.

Normand Briere

2019-08-16 64e20f390e4b8e58bd0006dde8fa10fba1dac1d5

 Grafreed.java
..
..
@@ -676,7 +676,8 @@
676
676
     
677
677
     public static void main(String argv[])
678
678
     {
679
-                String osArch = System.getProperty("os.arch");
679
+         String osArch = System.getProperty("os.arch");
680
+        if (Globals.DEBUG)
680
681
                 System.out.println("os.arch = " + osArch);
681
682
                 
682
683
         if (argv.length == 0)