- subsequent to discussions on the mailing list, tentatively changing the license to GPL+classpath exception instead of the less clear LGPL+classpath.
  Note that GPL+classpath is the same license terms as JDK 7.

corrected LICENSE.txt