A single new method overload is added to javax.tools.StandardJavaFileManager,
similar to other methods on the API, to reduce the chance of a user calling
the wrong method with the wrong arguments.