added java version to latex document