diff --git a/Jenkinsfile b/Jenkinsfile index 80af5d90..5d2ca5ab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,7 @@ node('rhel7'){ def recipientList = 'jbosstools-builds@lists.jboss.org' - def javaHome = tool 'openjdk-11' + def javaHome = tool 'openjdk-17' env.JAVA_HOME = "${javaHome}" try { diff --git a/gradle.properties b/gradle.properties index 169af24f..1a883d4a 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,4 +1,4 @@ ideaVersion = IU-2023.2 -projectVersion=1.4.1-SNAPSHOT +projectVersion=1.4.1 jetBrainsToken=invalid jetBrainsChannel=stable diff --git a/src/main/resources/META-INF/plugin.xml b/src/main/resources/META-INF/plugin.xml index e9010a6b..95f5b44d 100644 --- a/src/main/resources/META-INF/plugin.xml +++ b/src/main/resources/META-INF/plugin.xml @@ -12,6 +12,11 @@ ]]> 1.4.1

+

1.4.0