This documentation accompanies the version of Java DB that is included with Java Development Kit (JDK) 7.
Scripting on this page tracks web page traffic, but does not change the content in any way.