dec080b Use default java-devel

Authored and Committed by yselkowitz 5 months ago
1 file changed. 1 lines added. 1 lines removed.
    Use default java-devel
    
    The JNI bindings were introduced with 1.8.0 was still the default JDK,
    so 11 was intended to select the newer version.  The default JDK is now
    17, and there is no reason to continue to use what is now an older
    version.
    
        
file modified
+1 -1