K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2014-06-05T22:41:56.803550Z
K 7
svn:log
V 137
- Fix build with JDK7 and later. [1]
- Make the build options actually work.
- Make portlint happy.

Reported by:	exp-run (PR190511) [1]

END