why must a java file have the same name as its public class