Stefan Schuermans
fix problem with initialization of priority selector
Stefan Schuermans commited d597b33 at 2011-12-23 22:05:08