A bunch of code formatting to bring broadly in line with Android practice including:
* Curly braces around all conditional statements.
* Handling of all exceptions with logging.
* Acronyms changed to words eg getURL() now getUrl(0.
* 100 character line limit.
Applied as a profile in the automatic code formatter.
Fixed a "Facts" bug that didn't properly check equality between facts and whether a label already existed.