# HG changeset patch
# User henryjen
# Date 1383766680 28800
# Node ID 9bf2e9c6bd558f05b724385fe2bb88f2d820f279
# Parent  79f7b79bf97b71c9b5c9b103dbdef5f269eeb86d# Parent  b3bb83c0e5dd86b445c65237b0d432d361509792
Merge

diff -r 79f7b79bf97b -r 9bf2e9c6bd55 .jcheck/conf
--- a/.jcheck/conf	Thu Oct 24 09:10:54 2013 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-project=jdk8