From 959be84fcd2bca874b0cb30504cde31291b40eea Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 11 May 2011 17:41:51 +0000
Subject: [PATCH] did we just ignore the static field modifier before?  How did
 OOOJ or DOJ work with static fields?  In the case of labyrinth there is no
 need for fields in the top-level singleton class to be static

---
 Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
index c350075a..bd7e7e6a 100644
--- a/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/Labyrinth.java
@@ -70,8 +70,11 @@
 
 public class Labyrinth 
 {
-static  String global_inputFile;
-static   boolean global_doPrint;
+  // jjenista -- not sure what is going with static fields in the general
+  // compiler, let alone disjoint/pointer/OOOJ/DOJ
+  /*static*/  String global_inputFile;
+  /*static*/  boolean global_doPrint;
+
     int numThread;
     int bendCost;
     int xCost;
-- 
2.34.1