Uncomment coredocs plugin which was accidentally disabled in previous commit.

Matthew Swift

21.37.2012 96878337a568b770f9d1801adad57d373933f931

Uncomment coredocs plugin which was accidentally disabled in previous commit.

 opendj-sdk/opendj3/pom.xml

@@ -112,7 +112,6 @@
    <gaId>UA-23412190-8</gaId>
  </properties>
  <build>
  <!--
    <plugins>
      <plugin>
        <groupId>org.forgerock.commons</groupId>
@@ -141,7 +140,6 @@
        </executions>
      </plugin>
    </plugins>
  -->
    <pluginManagement>
      <plugins>
        <plugin>