Jave: Remove the local threat model from the default configuration.

michaelnebel · michaelnebel · commit fb10af9042c5 · 2023-10-06T14:58:48.000+02:00
diff --git a/java/ql/lib/ext/threatmodels/supported-threat-models.model.yml b/java/ql/lib/ext/threatmodels/supported-threat-models.model.yml
@@ -5,4 +5,3 @@ extensions:
       extensible: supportedThreatModels
     data:
       - ["default"] # The "default" threat model is always included.
-      - ["local"] # REMOVE AGAIN: Add the local threat models for testing purposes.
