rename

fun rename(old: String, new: String)

Renames an entry from old to new. If there already is an entry under new, it will be overwritten.