From be1e9918f0f6a39776318381458de45a54338e5c Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Mon, 27 Feb 2017 18:49:02 +0100
Subject: [PATCH] Class Optimize#Handle should be static,

as it already includes an explicit reference to the Optimize class.
---
 src/api/java/Optimize.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Optimize.java b/src/api/java/Optimize.java
index abc13b570..5e4535ac4 100644
--- a/src/api/java/Optimize.java
+++ b/src/api/java/Optimize.java
@@ -75,7 +75,7 @@ public class Optimize extends Z3Object {
     /**
      * Handle to objectives returned by objective functions.
      **/
-    public class Handle {
+    public static class Handle {
 
         private final Optimize opt;
         private final int handle;