[philipwhiuk]

I just picked an old enough version that I knew had it and the original Minecraft could have chosen to use.

(I've never written pre Java 6 code)