Tweak java/openjdk7 version 7.25.15_2
Import java/eclipse-devel version 4.2.0_4