git: a04a2db0119d - main - graphics/geoserver: Fix JAVA version

From: Muhammad Moinur Rahman <bofh_at_FreeBSD.org>
Date: Sun, 16 Jul 2023 11:24:53 UTC 
The branch main has been updated by bofh:

URL: https://cgit.FreeBSD.org/ports/commit/?id=a04a2db0119d9058a489350b09881a3c11b7b3fb

commit a04a2db0119d9058a489350b09881a3c11b7b3fb
Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2023-07-15 22:25:35 +0000
Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2023-07-16 11:24:42 +0000

    graphics/geoserver: Fix JAVA version
    
    Upstream documentation [1] states that Geoserver version 2.22.x and
    above require Java 17.
    
    [1] https://docs.geoserver.org/latest/en/user/production/java.html
    
    PR:             272413
    Reported by:    jbo@insane.engineer
---
 graphics/geoserver/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/graphics/geoserver/Makefile b/graphics/geoserver/Makefile
index b66437721247..29fe196d17a3 100644
--- a/graphics/geoserver/Makefile
+++ b/graphics/geoserver/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	geoserver
 PORTVERSION=	2.23.1
+PORTREVISION=	1
 CATEGORIES=	graphics geography java
 MASTER_SITES=	SF/${PORTNAME}/GeoServer/${PORTVERSION}
 DISTNAME=	${PORTNAME}-${PORTVERSION}-bin
@@ -13,7 +14,7 @@ LICENSE_COMB=	multi
 LICENSE_FILE=	${WRKSRC}/license/NOTICE.txt
 
 USES=		cpe zip
-USE_JAVA=	yes
+USE_JAVA=	17+
 USE_RC_SUBR=	${PORTNAME}
 
 NO_ARCH=	yes