String (Location location, JavaFileObject file) { final JavaFileObject _fo = unwrapFileObject(file); if (_fo instanceof JpsFileObject) { final String inferred = ((JpsFileObject)_fo).inferBinaryName(getLocation(location), isFileSystemCaseSensitive); if (inferred != null) { return inferred; } } return super.inferBinaryName(location, _fo); }