language-java: hash change
it looks as if the maintainer decided that 0.2.5.1 (which appeared fora short time) could just replace 0.2.5
Mathijs Kwik 12 years ago 185eab3b 44f8e289