Yes, we shouldn't ignore java files generally but for students' solutions, pushing them is meaningless :)