[Echobase-commits] 12/13: make some javadoc jdk1.8 aware