diff --git a/src/runtime/java/org/grammaticalframework/pgf/Concr.java b/src/runtime/java/org/grammaticalframework/pgf/Concr.java
index 4f082eac8..0c905bc5f 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/Concr.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/Concr.java
@@ -68,6 +68,9 @@ public class Concr {
 	 * @param sentence the word form or the multilingual expression.
 	 */
 	public native List<MorphoAnalysis> lookupMorpho(String sentence);
+	
+	/** Creates an iterable over the full form lexicon in the grammar */
+	public native Iterable<FullFormEntry> fullFormLexicon();
 
 	/** Returns an iterable enumerating all words in the lexicon
 	 * starting with a given prefix.
@@ -83,6 +86,8 @@ public class Concr {
 	 */
 	public native boolean hasLinearization(String fun);
 
+	public native String graphvizParseTree(Expr expr);
+
 	/** returns the print name for that function or category.
 	 */
 	public native String getPrintName(String id);
diff --git a/src/runtime/java/org/grammaticalframework/pgf/PGF.java b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
index 346f6f67f..8559c13a7 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/PGF.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/PGF.java
@@ -68,6 +68,9 @@ public class PGF {
 	 * of the expression together with its type */
 	public native TypedExpr inferExpr(Expr expr) throws TypeError;
 
+
+	public native String graphvizAbstractTree(Expr expr);
+
 	//////////////////////////////////////////////////////////////////
 	// private stuff
 	private Pool pool;
diff --git a/src/runtime/java/org/grammaticalframework/pgf/Type.java b/src/runtime/java/org/grammaticalframework/pgf/Type.java
index d7da65851..5136d7089 100644
--- a/src/runtime/java/org/grammaticalframework/pgf/Type.java
+++ b/src/runtime/java/org/grammaticalframework/pgf/Type.java
@@ -14,6 +14,8 @@ public class Type {
 	public native Hypo[] getHypos();
 
 	public native String toString();
+	
+	public native static Type readType(String s);
 
 	//////////////////////////////////////////////////////////////////
 	// private stuff