Document: javadb
Title: Java DB introduction
Author: Java DB
Abstract: This document describes what Java DB is
 with references to user documentation and javadoc
 and how to get more information on Java DB.
Section: doc

Format: HTML
Index: /usr/share/doc/javadb/index.html
Files: /usr/share/doc/javadb/index.html
