db4j: Simple Database API for Java