Fix 'static field should be accessed in a static way' warning

Change-Id: I9ea5bb37fa10c915ba39b294812f1c29d291fc09
diff --git a/src/builtin/PRED_open_4.java b/src/builtin/PRED_open_4.java
index 9a80fea..a9c2c7c 100644
--- a/src/builtin/PRED_open_4.java
+++ b/src/builtin/PRED_open_4.java
@@ -85,7 +85,7 @@
 		if (! file.exists())
 		    throw new ExistenceException(this, 1, "source_sink", a1, "");
 		PushbackReader in = 
-		    new PushbackReader(new BufferedReader(new FileReader(file)), engine.PUSHBACK_SIZE);
+		    new PushbackReader(new BufferedReader(new FileReader(file)), Prolog.PUSHBACK_SIZE);
 		streamObject = new JavaObjectTerm(in);
 		opts = new ListTerm(SYM_INPUT, opts);
 	    } else if (a2.equals(SYM_WRITE)) {