bump version: JFlex 1.9.0-SNAPSHOT -> 1.9.0

Author: lsf37

benchmark/pom.xml

@@ -8,7 +8,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.9.0-SNAPSHOT</version>
+    <version>1.9.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>benchmark</artifactId>
@@ -57,7 +57,7 @@
       <plugin>
         <groupId>de.jflex</groupId>
         <artifactId>jflex-maven-plugin</artifactId>
-        <version>1.9.0-SNAPSHOT</version>
+        <version>1.9.0</version>
         <executions>
           <execution>
             <?m2e execute onConfiguration,onIncremental?>

cup-maven-plugin/pom.xml

@@ -7,7 +7,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.9.0-SNAPSHOT</version>
+    <version>1.9.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <version>1.3</version>

docs/Makefile

@@ -3,7 +3,7 @@
 
 # Makefile for jflex documentation (ps + pdf + html)
 
-VERSION=1.9.0-SNAPSHOT
+VERSION=1.9.0
 RELEASE_DATE=5 February 2023
 UNICODE_VER=12.1
 

docs/xmanual.tex

@@ -58,7 +58,7 @@
 \vspace*{15ex}
 {\Huge \sffamily \bfseries JFlex User's Manual}\\
 \bigskip
-Version 1.9.0-SNAPSHOT, {\today}
+Version 1.9.0, {\today}
 \end{center}
 
 \newpage

jflex-maven-plugin/pom.xml

@@ -8,7 +8,7 @@
   <parent>
     <groupId>de.jflex</groupId>
     <artifactId>jflex-parent</artifactId>
-    <version>1.9.0-SNAPSHOT</version>
+    <version>1.9.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>jflex-maven-plugin</artifactId>

jflex/README.md

@@ -22,7 +22,7 @@
 JAVA=java
 
 # Version of JFlex to execute
-JFLEX_VERSION=1.9.0-SNAPSHOT
+JFLEX_VERSION=1.9.0
 
 # end configurables
 #

jflex/bin/jflex

@@ -7,6 +7,6 @@ REM Please adjust JFLEX_HOME and JFLEX_VERSION to suit your needs
 REM (please do not add a trailing backslash)
 
 if not defined JFLEX_HOME set JFLEX_HOME=C:\JFLEX
-if not defined JFLEX_VERSION set JFLEX_VERSION=1.9.0-SNAPSHOT
+if not defined JFLEX_VERSION set JFLEX_VERSION=1.9.0
 
 java -Xmx128m -jar "%JFLEX_HOME%\lib\jflex-full-%JFLEX_VERSION%.jar" %*

jflex/bin/jflex.bat

@@ -18,7 +18,7 @@
   <property name="common.dir" value="../common" />
 
   <!-- JFlex task -->
-  <property name="jflex" value="../../lib/jflex-full-1.9.0-SNAPSHOT.jar"/>
+  <property name="jflex" value="../../lib/jflex-full-1.9.0.jar"/>
   <taskdef classname="jflex.anttask.JFlexTask" name="jflex" classpath="${jflex}"/>
 
   <!-- ivy installer -->

jflex/examples/common/include.xml

@@ -45,7 +45,7 @@
       <plugin>
         <groupId>de.jflex</groupId>
         <artifactId>jflex-maven-plugin</artifactId>
-        <version>1.9.0-SNAPSHOT</version>
+        <version>1.9.0</version>
         <executions>
           <execution>
             <goals>