FIX: getters and setters for processID.