bugfix in flushmonitors: static tokenset members should not be deleted