The specification doesn't seem to define how a name may be imported. This contributes to discrepancies between systems. For example, IntelliJ IDEA seems to not consider classes and interfaces from the java.lang package to be implicitly imported.