mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Gaetan Boismal
20.10.2016 5e267d6e6c177e74472d5d6c80f2efee079f2474
opendj-dsml-servlet/pom.xml
@@ -41,6 +41,7 @@
            <groupId>javax.servlet</groupId>
            <artifactId>javax.servlet-api</artifactId>
            <version>3.1.0</version>
            <scope>provided</scope>
      </dependency>
        <!-- ForgeRock libraries -->