171172173174175176177178179180181
{ for ( final SpaceVisitor v : customVisitors ) { v.leaveSpace(); } defaultVisitor.leaveSpace(); } }; }