(JavaDoc typo fix)
Use root element title in breadcrumbs
(Fixed eclipse config to allow using Java 8)
toc.json generation - "Intro." node is missing from it, but I'm not sure if we want it. Some cleanup and minor fixes in old Java/ftl.