Add module_dependencies.txt file

Matthias Güdemann · Matthias Güdemann · commit bbc2bacc6b82 · 2018-06-06T09:30:56.000+02:00
Required for cpplint, cf. #2196
diff --git a/jbmc/unit/java_bytecode/goto_program_generics/module_dependencies.txt b/jbmc/unit/java_bytecode/goto_program_generics/module_dependencies.txt
@@ -0,0 +1,2 @@
+java-testing-utils
+testing-utils
