A DESCRIPTION OF THE PROBLEM :
In Section 4.4, the documentation states that "<...> The members of an interface are always public, and therefore always inherited (unless overridden).".

However, later in the text it is stated that "A method in the body of an interface may be declared public or private (§6.6)."


URL OF FAULTY DOCUMENTATION :
https://docs.oracle.com/javase/specs/jls/se9/html/jls-4.html#jls-4.4