def replace_name(path, line, col, old, new):
    file = java.load(path)
    file.replace_name(line, col, old, new)
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)
def add_import(path, line, col, type):
    file = java.load(path)
    file.add_import(type)