documenting JTermManager