# HG changeset patch
# User mchung
# Date 1368034822 25200
# Node ID dedb40431de50733a41d56a61177164d4667b849
# Parent  6d404402cfa33c524ec96d0e2f900452ce4300cb# Parent  bc6fc41e23915b6b3685dda755090125e4657198
Merge

diff -r 6d404402cfa3 -r dedb40431de5 .jcheck/conf
--- a/.jcheck/conf	Wed May 08 10:35:26 2013 -0700
+++ b/.jcheck/conf	Wed May 08 10:40:22 2013 -0700
@@ -1,3 +1,4 @@
 project=jdk8
 comments=lax
 tags=lax
+bugids=dup