There is no "openjdk25-jre" package for this arch yet.

See archs where openjdk25-jre is available.