20130701: Revert ProcessList.java changes.