Minor polishing (2)

Author: kovzol

snapcraft.yaml

@@ -38,6 +38,7 @@ parts:
     source-type: git
     override-build: |
       snapcraftctl build
+      export JAVAC=/usr/lib/jvm/java-11-openjdk-amd64/bin/javac && \
       ./gradlew installDist && \
       mkdir -p ../install/usr/share/jgex && \
       cp -a build/install/jgex/lib/*.jar ../install/usr/share/jgex && \

src/main/java/wprover/Version.java

@@ -7,7 +7,7 @@
 public class Version {
 
     private static String sversion = "0.87";
-    private static String data = "2024-11-26";
+    private static String data = "2025-06-11";
     private static String project = "Geometry Expert";
 
 /**