Trivial Eclipse launch config changes.

Make sure tests are run with assertions on (-ea).
An unsolicited m2eclipse change to the Maven launch configuration.
Clean up of new abbreviations code.

Properly named some test cases, 'accu' is now class StatementAbbrExpState,
removed an unnecesary TODO, removed a temporay warning from Abbreviation.