Additional verify method headers (java, single package)