eiffelstudio - Revision 102628: /trunk/Src/examples/scoop/processor_pool