fix #1657: EmptyLombokFileObject: file:// URI must not contain authority part.

fix degrade of #1617, the file URI must starts with 'file:///', not 'file://'.
This commit is contained in:
Takuya Murakami committed 2018-04-17 00:18:26 +09:00
1 parent de01d1eae1
commit 888546fd9f
1 file changed
+1 -1
@@ -57,7 +57,7 @@ class EmptyLombokFileObject implements LombokFileObject {
}
@Override public URI toUri() {
return URI.create("file://" + name);
return URI.create("file:///" + (name.startsWith("/") ? name.substring(1) : name));
}
@Override public CharSequence getCharContent(boolean ignoreEncodingErrors) throws IOException {