Adjusted Eclipse launch configs
Adjustments to make JavaDoc generation runnable under Java 8
Merge branch 'master' into jdk-8