Category:Java Edition 1.7.2 pre-releases

Versions used to develop 1.7.2.