From 8748462b257427591f8f1294482265e5eab83c8b Mon Sep 17 00:00:00 2001
From: David Pursehouse <dpursehouse@collab.net>
Date: Thu, 22 Sep 2016 09:27:47 +0200
Subject: [PATCH] Upgrade prolog-cafe to 1.4.2

This version is built with Java 8.

Change-Id: Ic1a7bcb4fadcf94b3b32d9895a1f4b387b394a85
---
 WORKSPACE       | 10 +++++-----
 lib/prolog/BUCK | 10 +++++-----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index b07f28965b..05f1b22615 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -453,34 +453,34 @@ maven_jar(
   sha1 = '0c9cfae15c74f62491d4f28def0dff1dabe52a47',
 )
 
-PROLOG_VERS = '1.4.1'
+PROLOG_VERS = '1.4.2'
 
 maven_jar(
   name = 'prolog_runtime',
   repository = 'http://gerrit-maven.storage.googleapis.com/',
   artifact = 'com.googlecode.prolog-cafe:prolog-runtime:' + PROLOG_VERS,
-  sha1 = 'c5d9f92e49c485969dcd424dfc0c08125b5f8246',
+  sha1 = '4421b4806b6e3a318680f6ab1d57569e857169c6',
 )
 
 maven_jar(
   name = 'prolog_compiler',
   repository = 'http://gerrit-maven.storage.googleapis.com/',
   artifact = 'com.googlecode.prolog-cafe:prolog-compiler:' + PROLOG_VERS,
-  sha1 = 'ac24044c6ec166fdcb352b78b80d187ead3eff41',
+  sha1 = '7e5a7ca5efe7db7f69e015cf492f8f04665244d8',
 )
 
 maven_jar(
   name = 'prolog_io',
   repository = 'http://gerrit-maven.storage.googleapis.com/',
   artifact = 'com.googlecode.prolog-cafe:prolog-io:' + PROLOG_VERS,
-  sha1 = 'b072426a4b1b8af5e914026d298ee0358a8bb5aa',
+  sha1 = 'd177f6211d1013e0f31a507127f5c87a7f6941f3',
 )
 
 maven_jar(
   name = 'cafeteria',
   repository = 'http://gerrit-maven.storage.googleapis.com/',
   artifact = 'com.googlecode.prolog-cafe:prolog-cafeteria:' + PROLOG_VERS,
-  sha1 = '8cbc3b0c19e7167c42d3f11667b21cb21ddec641',
+  sha1 = '11f396cb2588b65e6a78070488aaa58d12bf000e',
 )
 
 maven_jar(
diff --git a/lib/prolog/BUCK b/lib/prolog/BUCK
index 77fe5ac95a..854b0f7cfc 100644
--- a/lib/prolog/BUCK
+++ b/lib/prolog/BUCK
@@ -1,12 +1,12 @@
 include_defs('//lib/maven.defs')
 
-VERSION = '1.4.1'
+VERSION = '1.4.2'
 REPO = GERRIT
 
 maven_jar(
   name = 'runtime',
   id = 'com.googlecode.prolog-cafe:prolog-runtime:' + VERSION,
-  sha1 = 'c5d9f92e49c485969dcd424dfc0c08125b5f8246',
+  sha1 = '4421b4806b6e3a318680f6ab1d57569e857169c6',
   license = 'prologcafe',
   repository = REPO,
 )
@@ -14,7 +14,7 @@ maven_jar(
 maven_jar(
   name = 'compiler',
   id = 'com.googlecode.prolog-cafe:prolog-compiler:' + VERSION,
-  sha1 = 'ac24044c6ec166fdcb352b78b80d187ead3eff41',
+  sha1 = '7e5a7ca5efe7db7f69e015cf492f8f04665244d8',
   license = 'prologcafe',
   repository = REPO,
   deps = [
@@ -26,7 +26,7 @@ maven_jar(
 maven_jar(
   name = 'io',
   id = 'com.googlecode.prolog-cafe:prolog-io:' + VERSION,
-  sha1 = 'b072426a4b1b8af5e914026d298ee0358a8bb5aa',
+  sha1 = 'd177f6211d1013e0f31a507127f5c87a7f6941f3',
   license = 'prologcafe',
   repository = REPO,
   deps = [':runtime'],
@@ -36,7 +36,7 @@ maven_jar(
 maven_jar(
   name = 'cafeteria',
   id = 'com.googlecode.prolog-cafe:prolog-cafeteria:' + VERSION,
-  sha1 = '8cbc3b0c19e7167c42d3f11667b21cb21ddec641',
+  sha1 = '11f396cb2588b65e6a78070488aaa58d12bf000e',
   license = 'prologcafe',
   repository = REPO,
   deps = [