def demangle_classname(mangled):
    if (mangled and (len(mangled) > 2) and (mangled[0] == 'L') and (mangled[(- 1)] == ';')):
        return (mangled[1:(- 1)].replace('/', '.') + ':')
    return mangled
def demangle_classname(mangled):
    if (mangled and (len(mangled) > 2) and (mangled[0] == 'L') and (mangled[(- 1)] == ';')):
        return (mangled[1:(- 1)].replace('/', '.') + ':')
    return mangled