diff --git a/infer/src/Makefile b/infer/src/Makefile
index f043919a9..883d6d8f5 100644
--- a/infer/src/Makefile
+++ b/infer/src/Makefile
@@ -21,7 +21,7 @@ INFER_MAIN = infer
 
 #### Checkers declarations ####
 
-INFER_ATDGEN_STUB_BASES = atd/jsonbug atd/runstate atd/stacktree
+INFER_ATDGEN_STUB_BASES = atd/jsonbug atd/runstate atd/stacktree atd/java_method_decl
 INFER_ATDGEN_TYPES = j t
 INFER_ATDGEN_STUB_ATDS = $(INFER_ATDGEN_STUB_BASES:.atd)
 INFER_ATDGEN_SUFFIXES = $(foreach atd_t,$(INFER_ATDGEN_TYPES),_$(atd_t).ml _$(atd_t).mli)
diff --git a/infer/src/atd/java_method_decl.atd b/infer/src/atd/java_method_decl.atd
new file mode 100644
index 000000000..f9da991fb
--- /dev/null
+++ b/infer/src/atd/java_method_decl.atd
@@ -0,0 +1,10 @@
+type java_method_decl = {
+  ?signature : string option;
+  ~unresolved_signature : bool;
+  method_name : string;
+  source_file : string;
+  start_line : int;
+  end_line : int;
+}
+
+type java_method_decls = java_method_decl list