mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 98fc17b8 | patch | commit | show whitespace
Nicolas Capponi
17.02.2015 5106f9361fb407017df1fd3b5d53365982d8bff9 
Update to Java 7
1 files modified
4 ■■■■■ changed files
pom.xml 4 ●●●●● patch | view | raw | blame | history 
 pom.xml


@@ -256,8 +256,8 @@


          <groupId>org.apache.maven.plugins</groupId>


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


          <configuration>


            <source>1.6</source>


            <target>1.6</target>


            <source>1.7</source>


            <target>1.7</target>


          </configuration>


        </plugin>


        <plugin>