dining philosophers in Java