fixed some bugs in windows server

1 files changed, 2 insertions, 1 deletions

diff --git a/test/uk/ac/ox/cs/pagoda/junit/JAIR_Scalability.java b/test/uk/ac/ox/cs/pagoda/junit/JAIR_Scalability.java
index 5bd3134..5e2b1d7 100644
--- a/test/uk/ac/ox/cs/pagoda/junit/JAIR_Scalability.java
+++ b/test/uk/ac/ox/cs/pagoda/junit/JAIR_Scalability.java
@@ -3,6 +3,7 @@ package uk.ac.ox.cs.pagoda.junit;
 import org.junit.Test;
 
 import uk.ac.ox.cs.pagoda.tester.PagodaTester;
+import uk.ac.ox.cs.pagoda.util.Properties;
 
 public class JAIR_Scalability {
         
@@ -78,7 +79,7 @@ public class JAIR_Scalability {
         }
         
         public static void main(String... args) {
-                PagodaTester.ShellMode = true; 
+                Properties.ShellModeDefault = true; 
                 new JAIR_Scalability().testUniProt(50, false);
         }