remove extra paren created by java2python