diff --git a/src/api/java/ReExpr.java b/src/api/java/ReExpr.java
new file mode 100644
index 000000000..60dc2bf96
--- /dev/null
+++ b/src/api/java/ReExpr.java
@@ -0,0 +1,33 @@
+/**
+Copyright (c) 2012-2016 Microsoft Corporation
+   
+Module Name:
+
+    ReExpr.java
+
+Abstract:
+
+Author:
+
+    @author Christoph Wintersteiger (cwinter) 2012-03-15
+
+Notes:
+    
+**/ 
+
+package com.microsoft.z3;
+
+/**
+ * Re expressions
+ **/
+public class ReExpr extends Expr
+{
+    /**
+     * Constructor for ReExpr
+     * @throws Z3Exception on error
+     **/
+    ReExpr(Context ctx, long obj)
+    {
+        super(ctx, obj);
+    }
+}
diff --git a/src/api/java/ReSort.java b/src/api/java/ReSort.java
new file mode 100644
index 000000000..74e7c5c5f
--- /dev/null
+++ b/src/api/java/ReSort.java
@@ -0,0 +1,29 @@
+/**
+Copyright (c) 2012-2014 Microsoft Corporation
+   
+Module Name:
+
+    ReSort.java
+
+Abstract:
+
+Author:
+
+    @author Christoph Wintersteiger (cwinter) 2012-03-15
+
+Notes:
+    
+**/ 
+
+package com.microsoft.z3;
+
+/**
+ * A Regular expression sort
+ **/
+public class ReSort extends Sort
+{
+    ReSort(Context ctx, long obj)
+    {
+        super(ctx, obj);
+    }
+}
diff --git a/src/api/java/SeqExpr.java b/src/api/java/SeqExpr.java
new file mode 100644
index 000000000..47976dd5e
--- /dev/null
+++ b/src/api/java/SeqExpr.java
@@ -0,0 +1,33 @@
+/**
+Copyright (c) 2012-2016 Microsoft Corporation
+   
+Module Name:
+
+    SeqExpr.java
+
+Abstract:
+
+Author:
+
+    @author Christoph Wintersteiger (cwinter) 2012-03-15
+
+Notes:
+    
+**/ 
+
+package com.microsoft.z3;
+
+/**
+ * Seq expressions
+ **/
+public class SeqExpr extends Expr
+{
+    /**
+     * Constructor for SeqExpr
+     * @throws Z3Exception on error
+     **/
+    SeqExpr(Context ctx, long obj)
+    {
+        super(ctx, obj);
+    }
+}
diff --git a/src/api/java/SeqSort.java b/src/api/java/SeqSort.java
new file mode 100644
index 000000000..5c7a549c9
--- /dev/null
+++ b/src/api/java/SeqSort.java
@@ -0,0 +1,29 @@
+/**
+Copyright (c) 2012-2014 Microsoft Corporation
+   
+Module Name:
+
+    SeqSort.java
+
+Abstract:
+
+Author:
+
+    @author Christoph Wintersteiger (cwinter) 2012-03-15
+
+Notes:
+    
+**/ 
+
+package com.microsoft.z3;
+
+/**
+ * A Sequence sort
+ **/
+public class SeqSort extends Sort
+{
+    SeqSort(Context ctx, long obj)
+    {
+        super(ctx, obj);
+    }
+}