Which is the file extension used for a public Java class source code?