Extract pgpainless-sop-version property via resource filtering

pgpainless-cli/build.gradle

@@ -6,25 +6,6 @@ plugins {
     id 'application'
     id "com.github.johnrengelman.shadow" version "6.1.0"
 }
-def generatedVersionDir = "${buildDir}/generated-version"
-
-sourceSets {
-    main {
-        output.dir(generatedVersionDir, builtBy: 'generateVersionProperties')
-    }
-}
-
-task generateVersionProperties {
-    doLast {
-        def propertiesFile = file "$generatedVersionDir/version.properties"
-        propertiesFile.parentFile.mkdirs()
-        propertiesFile.createNewFile()
-        // Instead of using a Properties object here, we directly write to the file
-        //  since Properties adds a timestamp, ruining reproducibility
-        propertiesFile.write("version="+rootProject.version.toString())
-    }
-}
-processResources.dependsOn generateVersionProperties
 
 dependencies {
 

pgpainless-sop/build.gradle

@@ -1,7 +1,7 @@
 // SPDX-FileCopyrightText: 2021 Paul Schaub <vanitasvitae@fsfe.org>
 //
 // SPDX-License-Identifier: Apache-2.0
-
+import org.apache.tools.ant.filters.*
 plugins {
     id 'java-library'
 }
@@ -30,6 +30,12 @@ dependencies {
     implementation "com.google.code.findbugs:jsr305:3.0.2"
 }
 
+processResources {
+    filter ReplaceTokens, tokens: [
+            "project.version": project.version.toString()
+    ]
+}
+
 test {
     useJUnitPlatform()
     environment("test.implementation", "sop.testsuite.pgpainless.PGPainlessSopInstanceFactory")

pgpainless-sop/src/main/kotlin/org/pgpainless/sop/VersionImpl.kt

@@ -49,11 +49,11 @@ https://www.bouncycastle.org/java.html"""
         // See https://stackoverflow.com/a/50119235
         return try {
             val resourceIn: InputStream =
-                javaClass.getResourceAsStream("/version.properties")
+                javaClass.getResourceAsStream("/pgpainless-sop.properties")
                     ?: throw IOException("File version.properties not found.")
 
             val properties = Properties().apply { load(resourceIn) }
-            properties.getProperty("version")
+            properties.getProperty("pgpainless-sop-version")
         } catch (e: IOException) {
             "DEVELOPMENT"
         }

pgpainless-sop/src/main/resources/pgpainless-sop.properties

@@ -0,0 +1 @@
+pgpainless-sop-version=@project.version@