[V0.4] Updated WorkDistributor.java to enable undo()