Quantum Interference in Josephson Junctions