Update KillOperator.java