JVMS 0.6.3 draft 5.4.3.4 Interface Method Resolution:

Fix "Otherwise, if any superinterface C declares a method ..."
to the best of my understanding the clarification was that private interface methods should be invisible.
So perhaps "Otherwise, if any superinterface C declares a public method"

5.4.3.4. Method Resolution

My understanding was that the intention is that private interface methods are only visible when searched from the interface method reference that contains the method directly and not through any superinterface search.

Please update this bug if you agree. I will be filing a JCK test bug to match this spec change.

Question: Do you want static methods in interfaces to be visible in superinterfaces or also only when directly invoked?
i.e. Do you want both of these to say "Otherwise, if any superinterface C declares a public instance method"
( the maximally-specific superinterface method logic explicitly weeds out both private and static methods)