From 617ac422119d241f436975f72ab14cfab8499768 Mon Sep 17 00:00:00 2001
From: melvinzhang <melvinzhang@gmail.com>
Date: Wed, 15 Jan 2020 10:17:21 +0800
Subject: [PATCH] replace tabs with spaces for consistency with rest of the
 file

---
 build.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build.xml b/build.xml
index 3e1fce5394..98344b4720 100644
--- a/build.xml
+++ b/build.xml
@@ -90,10 +90,10 @@
       <get src="https://repo1.maven.org/maven2/com/google/errorprone/error_prone_ant/${error-prone-version}/error_prone_ant-${error-prone-version}.jar"
          dest="lib/error_prone_ant-${error-prone-version}.jar"
          skipexisting="true" />
-  	  <echo message="downloading jakarta activation to ${lib}"/>
-  	  <get src="https://repo1.maven.org/maven2/jakarta/activation/jakarta.activation-api/1.2.1/jakarta.activation-api-1.2.1.jar"
-  	     dest="${lib}/jakarta.activation-api-1.2.1.jar"
-  	     skipexisting="true" />
+      <echo message="downloading jakarta activation to ${lib}"/>
+      <get src="https://repo1.maven.org/maven2/jakarta/activation/jakarta.activation-api/1.2.1/jakarta.activation-api-1.2.1.jar"
+         dest="${lib}/jakarta.activation-api-1.2.1.jar"
+         skipexisting="true" />
   </target>
 
   <!-- init - Create temporary directory to build the program -->