Oops, undoing that

Forgot that this needs to work in earlier versions of Java.