// create a checkpoint for faster start-ups
// databaseSystem.getCheckpointer().checkpoint();
// shutdown database
databaseSystem.shutdown();
}
private static byte[] randomBytes(int minLen, int maxLen) {
int len = (int) (Math.random() * (maxLen - minLen)) + minLen;