From 24151e7422ccc2f811ca9e4d9d0894941b2c1389 Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@cs.wisc.edu>
Date: Wed, 23 May 2018 12:08:30 -0500
Subject: [PATCH] Don't specify Java version; defaults to whatever JVM is being
 used

---
 build.gradle | 2 --
 1 file changed, 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index aac831de1..50dc39b36 100644
--- a/build.gradle
+++ b/build.gradle
@@ -66,8 +66,6 @@ subprojects { subproject ->
 	apply plugin: 'maven-publish'
 	apply plugin: 'nebula.source-jar'
 
-	sourceCompatibility = 1.8
-
 	version rootProject.version
 
 	repositories {