diff --git a/infer/src/quandary/JavaTaintAnalysis.ml b/infer/src/quandary/JavaTaintAnalysis.ml
index f3930601d..7e186070d 100644
--- a/infer/src/quandary/JavaTaintAnalysis.ml
+++ b/infer/src/quandary/JavaTaintAnalysis.ml
@@ -53,6 +53,8 @@ include
             | _ ->
                 []
           end
+      | pname when Builtin.is_registered pname ->
+          []
       | pname ->
           failwithf "Non-Java procname %a in Java analysis@." Procname.pp pname
   end)