Java: Type based summaries are now also for Java.

Author: michaelnebel

misc/scripts/models-as-data/generate_flow_model.py

@@ -34,7 +34,7 @@ def printHelp(self):
     --with-sources
     --with-summaries
     --with-negative-summaries
-    --with-typebased-summaries (Experimental - only for C#)
+    --with-typebased-summaries
 If none of these flags are specified, all models are generated.
 
     --dry-run: Only run the queries, but don't write to file.