kframework/k — pull request #1196 by osa1 (2014-11-19 19:47:18+00:00)
Title: synchronize TaskQueue proc lists

Some lists were appended concurrently using non-synchronized methods.

(hopefully fixes the error observed in this test: http://fslwork.cs.illinois.edu/rv-jenkins/job/k-framework-master/88/consoleFull)