Just formatting Options.java