remove_holder

Description:

public void remove_holder (Holder holder)

Removes a Holder from the list of holders managed by this

Parameters:

this

a Set object
holder

the Holder to remove from this