295 SourcePosition po = position(); |
295 SourcePosition po = position(); |
296 if (env.fileManager instanceof StandardJavaFileManager && |
296 if (env.fileManager instanceof StandardJavaFileManager && |
297 po instanceof SourcePositionImpl) { |
297 po instanceof SourcePositionImpl) { |
298 URI uri = ((SourcePositionImpl) po).filename.toUri(); |
298 URI uri = ((SourcePositionImpl) po).filename.toUri(); |
299 if ("file".equals(uri.getScheme())) { |
299 if ("file".equals(uri.getScheme())) { |
300 File f = new File(uri.getPath()); |
300 File f = new File(uri); |
301 File dir = f.getParentFile(); |
301 File dir = f.getParentFile(); |
302 if (dir != null) { |
302 if (dir != null) { |
303 File pf = new File(dir, "package.html"); |
303 File pf = new File(dir, "package.html"); |
304 if (pf.exists()) { |
304 if (pf.exists()) { |
305 StandardJavaFileManager sfm = (StandardJavaFileManager) env.fileManager; |
305 StandardJavaFileManager sfm = (StandardJavaFileManager) env.fileManager; |