Actors work. Small non-determinism with random NullPointerException remains