implemented deleteDatabase for Android API < 16; other refinements