El algoritmo de Lamport de la panadería implementado en java