1 files changed, 14 insertions, 0 deletions
diff --git a/Examples/test-suite/java/rename_pcre_encoder_runme.java b/Examples/test-suite/java/rename_pcre_encoder_runme.java
new file mode 100644
index 000000000..cb843338b
--- /dev/null
+++ b/Examples/test-suite/java/rename_pcre_encoder_runme.java
@@ -0,0 +1,14 @@
+import rename_pcre_encoder.*;
+
+public class rename_pcre_encoder_runme {
+  static { System.loadLibrary("rename_pcre_encoder"); }
+
+  public static void main(String argv[])
+  {
+    SomeWidget w = new SomeWidget();
+    w.putBorderWidth(17);
+    if ( w.getBorderWidth() != 17 )
+      throw new RuntimeException(String.format("Border with should be 17, not %d",
+                                               w.getBorderWidth()));
+  }
+}