Incubaid/arakoon — pull request #246 by toolslive (2013-11-08 20:41:21+00:00)
Title: Misc fixes

disabling coverage cuts down the duration to 11min on jenkins