--- old/src/java.compiler/share/classes/javax/tools/ForwardingJavaFileManager.java 2017-02-07 13:14:44.769143505 +0000 +++ new/src/java.compiler/share/classes/javax/tools/ForwardingJavaFileManager.java 2017-02-07 13:14:44.650135333 +0000 @@ -165,22 +165,42 @@ fileManager.close(); } + /** + * @since 9 + * @spec JPMS + */ public Location getLocationForModule(Location location, String moduleName) throws IOException { return fileManager.getLocationForModule(location, moduleName); } + /** + * @since 9 + * @spec JPMS + */ public Location getLocationForModule(Location location, JavaFileObject fo, String pkgName) throws IOException { return fileManager.getLocationForModule(location, fo, pkgName); } + /** + * @since 9 + * @spec JPMS + */ public ServiceLoader getServiceLoader(Location location, Class service) throws IOException { return fileManager.getServiceLoader(location, service); } + /** + * @since 9 + * @spec JPMS + */ public String inferModuleName(Location location) throws IOException { return fileManager.inferModuleName(location); } + /** + * @since 9 + * @spec JPMS + */ public Iterable> listLocationsForModules(Location location) throws IOException { return fileManager.listLocationsForModules(location); }