the PGF class is now using the new Pool class to manage the life time of the memory allocated in C.

1 files changed, 2 insertions, 13 deletions

diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
index 6bbe5590a..d97a952a2 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
@@ -26,24 +26,13 @@ public class PGF {
 
 	//////////////////////////////////////////////////////////////////
 	// private stuff
-	
-	private static native void free(long pool);
-
-	private long pool;
+	private Pool pool;
 	private long ref;
 
 	private PGF(long pool, long ref) {
-		this.pool = pool;
+		this.pool = new Pool(pool);
 		this.ref  = ref;
 	}
-
-	protected void finalize () throws Throwable {
-		if (pool != 0) {
-			free(pool);
-			pool = 0;
-			ref = 0;
-		}
-	}
 	
 	static { 
          System.loadLibrary("jpgf");