Rename Java options config file

The configuration file name must conform to the corresponding class
name.