Fix cgdelete bug in Shell.java