Remove the NullChecker as it is now in the jchecker repository