4?-periodic Josephson supercurrent in HgTe-based topological Josephson junctions