K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2014-06-04T23:21:57.284128Z
K 7
svn:log
V 107
Fix build with java/openjdk7.  Note it does not build with java/openjdk8.

Reported by:	exp-run (PR190511)

END