Remove unused metrics profile
@@ -495,21 +495,6 @@ THE SOFTWARE.
</build>
<profiles>
- <profile>
- <id>metrics</id>
- <build>
- <plugins>
- <plugin>
- <groupId>com.github.spotbugs</groupId>
- <artifactId>spotbugs-maven-plugin</artifactId>
- <!-- Version specified in parent POM -->
- <configuration>
- <threshold>High</threshold>
- </configuration>
- </plugin>
- </plugins>
- </build>
- </profile>
<profile>
<id>debug</id>
<activation>
