JLS 9.2 says that interfaces have implicitly defined members in them.
JLS 13.1 requires those members to appear in the class file.
Class files generated by javac don't contain them.