Tweak java/openjdk7 version 7.25.15