Delete 10523.java