math/cvc5: Correct options section

math/cvc5/Makefile

@@ -1,6 +1,7 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
 DISTVERSION=	1.0.4
+PORTREVISION=	1
 CATEGORIES=	math java
 MASTER_SITES+=	http://www.antlr3.org/download/:antlr3
 DISTFILES+=	antlr-3.4-complete.jar:antlr3
@@ -37,12 +38,12 @@ CMAKE_ON=		BUILD_SHARED_LIBS
 CMAKE_OFF=		BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
 CMAKE_TESTING_ON=	ENABLE_UNIT_TESTING
 
-OPTIONS_DEFINE=			JAVA EDITLINE # COCOALIB
+OPTIONS_DEFINE=			COCOALIB EDITLINE JAVA
 OPTIONS_GROUP=			SOLVERS
 OPTIONS_GROUP_SOLVERS=		CRYPTOMINISAT KISSAT
 OPTIONS_RADIO=			NUMLIB
 OPTIONS_RADIO_NUMLIB=		GMP CLN
-OPTIONS_DEFAULT=		COCOALIB CRYPTOMINISAT JAVA EDITLINE GMP # KISSAT
+OPTIONS_DEFAULT=		CRYPTOMINISAT EDITLINE JAVA GMP # COCOALIB KISSAT
 OPTIONS_SUB=			yes
 
 COCOALIB_DESC=			Use CoCoALib for further polynomial operations