CB-6571 android: Make DirectoryEntry.toURL() have a trailing /