Previous commit did not work, this should work

However, this is achieved by removing "final" property of workQueue in
CrawljaxController class...