Some corrections to JavaDataBase class