gf-3.10: src/runtime/java/org/grammaticalframework/pgf/Pool.java
package org.grammaticalframework.pgf;
class Pool {
final long ref;
public Pool(long ref) {
this.ref = ref;
}
public Pool() {
this.ref = alloc();
}
public void finalize() {
free(ref);
}
public static native long alloc();
public static native void free(long ref);
}