dipende dal fatto che una classe public deve stare in un file che ha lo stesso nome della classe, cioè Prova.java.