diff --git a/infer/src/java/jMain.ml b/infer/src/java/jMain.ml
index ad3639668..2bbb18fd7 100644
--- a/infer/src/java/jMain.ml
+++ b/infer/src/java/jMain.ml
@@ -152,6 +152,7 @@ let do_all_files classpath sources classes =
 
 (* loads the source files and translates them *)
 let () =
+  JBasics.set_permissive true;
   let classpath, sources, classes = JClasspath.load_sources_and_classes () in
   if StringMap.is_empty sources then
     failwith "Failed to load any Java source code"