NONE: xml file formatting
NONE: updating dependency to clover core to 3.1.12; updated plugin version number to 4.1; added new developer
NONE: added missing dependency to jcommon