Java DB 10.4.2 libraries (derby.jar derbtools.jar) downloaded from http://developers.sun.com/javadb/downloads/index.jsp, November 20, 2008.

Canonical copy of these libraries are at: Wonder/Frameworks/PlugIns/DerbyPlugIn/Libraries
