diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index a3b24c5d0..5de82026f 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -382,6 +382,7 @@ public class Context extends IDisposable
      * the remainig fields of t are unchanged.	
      **/
     public Expr MkUpdateField(FuncDecl field, Expr t, Expr v) 
+            throws Z3Exception
     {
 	return Expr.create
 	    (this,