Delete random_fun.java