in SQLDeveloper/SQLDeveloperVersioner.py [0:0]
def __init__(self, fp): self.fp = fp self.sechead = "[properties]\n"