Database.getDefaultCollection should not be nullable

Because the default collection cannot be deleted, Database.getDefaultCollection should either return a valid collection, or throw.

H/T to Jeff Lockhart for noticing this cross-platform inconsistency and supplying much of the code to fix it.