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

Author: michaelnebel

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.