An interface for things that need to be cleaned up after operations complete.
void
cleanup()
Copyright © 2003-2014 The Codehaus. All rights reserved.