mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Valera V.Harseko
18.03.2020 2cc33c43b0b465b1324fe1c15a71121752226058 
 pom.xml


@@ -36,6 +36,8 @@


        <freemarker.version>2.3.28</freemarker.version>


        <grizzly-framework.version>2.4.4</grizzly-framework.version>


        <metrics-core.version>3.1.2</metrics-core.version>


        <maven.compiler.target>1.8</maven.compiler.target>


        <maven.compiler.source>1.8</maven.compiler.source>


        <!-- OSGi bundles properties -->


        <opendj.osgi.import.additional />


        <!--


@@ -335,8 +337,6 @@


                    <artifactId>maven-compiler-plugin</artifactId>


                    <version>3.8.1</version>


                    <configuration>


                        <source>1.8</source>


                        <target>1.8</target>


                        <fork>true</fork>


                        <compilerArgs>


                           <arg>-XDignore.symbol.file</arg>