phpmd: make options mutable.  Cleanup.