What is the correct file extension for Java source files?