modify testExhaustion1.java