def replace_name(path, line, col, old, new): file = java.load(path) file.replace_name(line, col, old, new)
def add_import(path, line, col, type): file = java.load(path) file.add_import(type)