Migrated Cobertura to Maven

Migrated Cobertura project to Maven. 
Added a format plugin, so that sourcecode gets formatted every time a build is run.