Update AutoFormat.java

Minor stuff. Most of what's new seems to be by Amnon Owed.