[Jredmine-commits] 01/02: Make javadoc 1.8 + update file headers