javac Principale.java
Principale.java:1: error: class Punto is public, should be declared in a file named Punto.java
public class Punto
^
1 error
Niente...
Un sorgente Java può contenere più definizioni di classi/interfacce/enum "top-level" (non innestate). Ma solo una può essere marcata public. E se c'è questo tipo public, il nome del file sorgente deve corrispondere (.java a parte) al nome di questo tipo.