multi threaded java solver for the dining philosophers