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

Testing shows anEnv created withMDB_NOSUBDIR fails to copy, whereas such anEnv can be successfully copied to aFile that represents a non-existing destination filename. The JavaDocs and rules forcopy need to amended accordingly.