minor docu changes to reflect openjdk7 install issue