K 10
svn:author
V 6
glewis
K 8
svn:date
V 27
2011-11-27T08:01:03.000000Z
K 7
svn:log
V 301
. As far as I can tell, Java, JDK and OpenJDK are actually registered
  trademarks rather than just trademarks.  Admittedly I'm not sure quite
  what difference that makes, but I believe this is more accurate.  This
  also makes them render something sensible in Firefox rather than a
  double quote.

END
