Update java/openjdk7 to version 7.25.15