From 14d45cee2e53af1a55935e8e87f23784bcb0fa08 Mon Sep 17 00:00:00 2001
From: Abraham Polk <abepolk@gmail.com>
Date: Fri, 17 Aug 2018 11:31:11 -0400
Subject: [PATCH] Pin errorprone dependency to specific version

---
 build.gradle | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 5a5c8308e80..a2bb79c7f76 100644
--- a/build.gradle
+++ b/build.gradle
@@ -86,6 +86,7 @@ repositories {
 configurations {
     antlr3
     antlr4
+    errorprone
 }
 
 dependencies {
@@ -157,6 +158,8 @@ dependencies {
 
     compile 'com.github.tomtung:latex2unicode_2.12:0.2.2'
 
+    errorprone 'com.google.errorprone:error_prone_core:2.3.1'
+
     compile group: 'com.microsoft.azure', name: 'applicationinsights-core', version: '2.1.2'
     compile group: 'com.microsoft.azure', name: 'applicationinsights-logging-log4j2', version: '2.1.2'
 
@@ -220,7 +223,7 @@ dependencyUpdates.resolutionStrategy = {
                 selection.reject("http://dev.mysql.com/downloads/connector/j/ lists the version 5.* as last stable version.")
             }
         }
-        
+
     }
 }