A DESCRIPTION OF THE PROBLEM :
Relates to JDK-8149078, JDK-8061877

During runtime the JVM treats protected nested types as if they were public for access checks. This is currently only documented as part of §15.12.4.3 of the Java Language Specification (JLS).

1. It looks like this affects field access as well so "§15.11. Field Access Expressions" should contain this information too.
2. Section "§6.6.2. Details on protected Access" should mention this as well and link to §15.11 and §15.12.4.3, because it is most likely that readers will first look this section for information about this topic.