ninja: java 11 compilation fix

Evolveum · Jan 15, 2024 · 0879162 · 0879162
1 parent e5cc559
commit 0879162
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/ninja/src/main/java/com/evolveum/midpoint/ninja/Main.java b/tools/ninja/src/main/java/com/evolveum/midpoint/ninja/Main.java
@@ -164,7 +164,8 @@ public void setErr(@NotNull PrintStream err) {
                 }
 
                 Object result = action.execute();
-                if (result instanceof ActionResult<?> actionResult) {
+                if (result instanceof ActionResult) {
+                    ActionResult<?> actionResult = (ActionResult<?>) result;
                     return new MainResult<>(actionResult.result(), actionResult.exitCode(), actionResult.exitMessage());
                 }