Kotlin: Remove support for deprecated SOURCE_ARCHIVE and TRAP_FOLDER

Author: igfoo

java/kotlin-extractor/src/main/java/com/semmle/extractor/java/OdasaOutput.java

@@ -78,13 +78,11 @@ public class OdasaOutput {
 	}
 
 	public OdasaOutput(boolean trackClassOrigins, Compression compression, Logger log) {
-		String trapFolderVar = Env.systemEnv().getFirstNonEmpty("CODEQL_EXTRACTOR_JAVA_TRAP_DIR",
-				Var.TRAP_FOLDER.name());
+		String trapFolderVar = Env.systemEnv().get("CODEQL_EXTRACTOR_JAVA_TRAP_DIR");
 		if (trapFolderVar == null) {
 			throw new ResourceError("CODEQL_EXTRACTOR_JAVA_TRAP_DIR was not set");
 		}
-		String sourceArchiveVar = Env.systemEnv().getFirstNonEmpty("CODEQL_EXTRACTOR_JAVA_SOURCE_ARCHIVE_DIR",
-				Var.SOURCE_ARCHIVE.name());
+		String sourceArchiveVar = Env.systemEnv().get("CODEQL_EXTRACTOR_JAVA_SOURCE_ARCHIVE_DIR");
 		if (sourceArchiveVar == null) {
 			throw new ResourceError("CODEQL_EXTRACTOR_JAVA_SOURCE_ARCHIVE_DIR was not set");
 		}

java/kotlin-extractor/src/main/java/com/semmle/util/process/Env.java

@@ -256,8 +256,6 @@ public enum Var {
 		 */
 		ODASA_SRC,
 		ODASA_DB,
-		TRAP_FOLDER,
-		SOURCE_ARCHIVE,
 		ODASA_OUTPUT,
 		ODASA_SUBPROJECT_THREADS,