Fixed ctrl-c bug with quick hack in my py4j repo.