Remove the comment added previously in HashMutablePDG.java