update Semantic Version, including in pom files

Author: tmitsi

PSOA2X/pom.xml

@@ -3,7 +3,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>org.ruleml.psoa</groupId>
 	<artifactId>PSOA2X</artifactId>
-	<version>1.4</version>
+	<version>1.5</version>
 	<name>PSOA2X</name>
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -84,7 +84,7 @@
 		<dependency>
 			<groupId>org.ruleml.psoa</groupId>
 			<artifactId>PSOACore</artifactId>
-			<version>1.4</version>
+			<version>1.5</version>
 		</dependency>
 	</dependencies>
 </project>

PSOACore/pom.xml

@@ -3,7 +3,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>org.ruleml.psoa</groupId>
 	<artifactId>PSOACore</artifactId>
-	<version>1.4</version>
+	<version>1.5</version>
 	<name>PSOACore</name>
 	<build>
 		<defaultGoal>install</defaultGoal>

PSOATransRun/pom.xml

@@ -3,7 +3,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>org.ruleml.psoa</groupId>
 	<artifactId>PSOATransRun</artifactId>
-	<version>1.4</version>  <!-- Retain also for 1.4.1 etc. -->
+	<version>1.5</version>  <!-- Retain also for 3rd-digit updates, e.g. 1.5.1 -->
 	<name>PSOATransRun</name>
 
 	<properties>
@@ -24,7 +24,7 @@
 		<dependency>
 			<groupId>org.ruleml.psoa</groupId>
 			<artifactId>PSOA2X</artifactId>
-			<version>1.4</version>
+			<version>1.5</version>
 		</dependency>
 		<dependency>
 			<groupId>gnu.getopt</groupId>

PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/PSOATransRun.java

@@ -107,7 +107,7 @@ else if (lang.equalsIgnoreCase("tptp"))
 		{
 			systemInstantiation = "[PSOA2TPTP,VampirePrime]";
 		}
-		return "PSOATransRun" + "1.4.5" + systemInstantiation;
+		return "PSOATransRun" + "1.5" + systemInstantiation;
 	}
 
 	/***

PSOATransRunWebService/pom.xml

@@ -47,7 +47,7 @@
 		<dependency>
 			<groupId>org.ruleml.psoa</groupId>
 			<artifactId>PSOATransRun</artifactId>
-			<version>1.4</version>
+			<version>1.5</version>
 		</dependency>
 	</dependencies>
 	<repositories>