Eclipse formatting file.  (only what I inferred from a few files)