Update derby version; fix coverage pom.