False warning “This method has a constructor name” for Java 25 compact source file named main.java

False warning “This method has a constructor name” for Java 25 compact source file named main.java #3597