diff --git a/examples/java/JavaExample.java b/examples/java/JavaExample.java
index bd705456f..150efd545 100644
--- a/examples/java/JavaExample.java
+++ b/examples/java/JavaExample.java
@@ -1868,7 +1868,7 @@ class JavaExample
             }
         } else
         {
-            System.out.println("BUG, the constraints are satisfiable.");
+            System.out.println("BUG, the constraints are not satisfiable.");
         }
     }