From 9122ec9cd6de297e0d2830961add849b3a0886d8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Aug 2021 14:52:59 -0700
Subject: [PATCH] comment out for now

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 487ef16f5e0..ed2a7d0c312 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -224,7 +224,7 @@ jobs:
         make -j3 test-z3
         ./cpp_example
         ./c_example
-        java -cp api/java/classes JavaExample
+        # java -cp api/java/classes; JavaExample
         cd ..
 # Skip as dead-slow in debug mode:
 #  - template: scripts/test-z3.yml