--- java-algebra-system-2.7.180/src/edu/jas/application/RingFactoryTokenizer.java	2023-03-02 13:46:55.000000000 +0100
+++ java-algebra-system-2.7.180/src/edu/jas/application/RingFactoryTokenizer.java	2023-03-14 16:48:57.013344958 +0100
@@ -819,7 +819,7 @@
         logger.info("coeff = {}", coeff);
 
         vars = nextVariableList();
-        final var vv = vars;
+        final String[] vv = vars;
         logger.info("vars = {}", () -> Arrays.toString(vv));
         if (vars != null) {
             nvars = vars.length;