Currently Env.copy(File, CopyFlags) requires the destination File is a pre-existing, empty directory. This was based on the LMDB documentation which indicates this is required.

Testing shows an Env created with MDB_NOSUBDIR fails to copy, whereas such an Env can be successfully copied to a File that represents a non-existing destination filename. The JavaDocs and rules for copy need to amended accordingly.