Embed <plugins> in <pluginmanagement> to ensure that Eclipse takes
notice of the maven-compiler-plugin and correctly sets java 1.7 for
source and target.