public class Company
	{
	    public static int count;	//no. of employees    
	    private ArrayList myEmployees;  // list of employees
	    private double myTotalSalary; //total salary of all employees

	    // ... other methods and fields...

	    // precondition: claimants is sorted in ascending order,
	    //               contains no duplicates, and each
	    //               element of claimants is in myEmployees
	    // postcondition: all claimants have 
	    //        been removed from myEmployees; myEmployees 
	    //        remains sorted in ascending order; 
	    //        myTotalSalary has been
	    //        updated to maintain invariant that it represents
	    //        total of all employee salaries
	    public void processRetirements(Employee[] claimants)
	    {
	        ...
	        count = count - claimants.length;
	        ...
	    }
	}