Use configure instead.
Now we can automatically load/save preferences in EditorConfig.java.