remove_holder

Description:

public void remove_holder (Holder holder)

Removes a Holder from the list of holders managed by this

this	a Set object
holder	the Holder to remove from this