Tweak java/eclipse version 3.7.1_4