proper formatting cause Eclipse likes to do weird things :(