Superconducting quantum interference in semiconducting Josephson junctions