Toward Quantum Hall Effect in a Josephson Junction