Try to fix the publishing shadowJar exclusion

The previous solution failed on upload with a PublishException:
Cannot publish module metadata because an artifact from the 'java'
component has been removed.

build.gradle

@@ -78,7 +78,7 @@ publishing {
 		mavenJava(MavenPublication) {
 			from components.java
 			// Don't publish the shadowJar to Maven Central
-			artifacts.removeIf {it.classifier == "all"}
+			artifacts = artifacts.findAll {it.classifier != "all"}
 
 			pom {
 				name = 'TLA+ to B-AST'