if (source.toString().endsWith(File.separator + "index.html")) {
try {
File fakeFile = new File(source.toURI()); // "story/index.html"
fakeFile = new File(fakeFile.getParent()); // "story"
fakeFile = new File(fakeFile, fakeFile.getName()); // "story/story"
return fakeFile.toURI().toURL();
if (source.toString().endsWith(File.separator + "index.html")) {
try {
File fakeFile = new File(source.toURI()); // "story/index.html"
fakeFile = new File(fakeFile.getParent()); // "story"
fakeFile = new File(fakeFile, fakeFile.getName()); // "story/story"
return fakeFile.toURI().toURL();