Make work on old JDKs