StandardJavaFileManager: getJavaFileObjects() impl violates the spec

Summary

The specification of the implementation of several default methods in StandardJavaFileManager is adjusted to adhere more closely to the actual behavior.

Problem

The actual behavior of several StandardJavaFileManager methods diverges from the specification, in particular when other StandardJavaFileManager methods are overridden and implemented in a way that ignores inputs.

Solution

The specification/javadoc of several StandardJavaFileManager methods is adjusted to allow and document the actual behavior of the default methods.

Specification

The specdiff of the proposed changes will be attached, and is also available for convenience here: http://cr.openjdk.java.net/~jlahoda/8266631/specdiff.00/java.compiler/javax/tools/StandardJavaFileManager.html