What is the file extension of a compiled Java class?