format parameter removed from IO methods.
Bug fixed in test code.
Javadoc added for IO.
CharacterFormat now allows custom nullString. StringFormat added.
Javadoc for IO added.
Javadoc added for smirings.
Javadoc for semirings changed.
Javadoc added.