Reformat source code

The source files have been reformatted in a partly automated
manner using Eclipse and a slightly tweaked version of the standard
Java convention settings.