From 704c7cf6803dfb25063bd37c26eb45a6c9935831 Mon Sep 17 00:00:00 2001
From: dWiGhT <dwightmulcahy@gmail.com>
Date: Tue, 18 Sep 2018 08:18:34 -0700
Subject: [PATCH] [infer][PR] added `<version>` tag for `maven-compiler-plugin`

Summary:
fixes Maven 3 version missing warning for org.apache.maven.plugins:maven-compiler-plugin

fixes #990
Pull Request resolved: https://github.com/facebook/infer/pull/994

Reviewed By: mbouaziz

Differential Revision: D9830452

Pulled By: jvillard

fbshipit-source-id: b53b03638
---
 infer/src/integration/Maven.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/integration/Maven.ml b/infer/src/integration/Maven.ml
index de9e4a0db..8792cd59b 100644
--- a/infer/src/integration/Maven.ml
+++ b/infer/src/integration/Maven.ml
@@ -22,6 +22,7 @@ let infer_profile =
           <plugin>
             <groupId>org.apache.maven.plugins</groupId>
             <artifactId>maven-compiler-plugin</artifactId>
+            <version>3.8.0</version>
             <configuration>
               <compilerId>javac</compilerId>
               <forceJavacCompilerUse>true</forceJavacCompilerUse>