(b) the Judges of the High Court of Punjab holding office immediately before that day shall, unless they have elected otherwise, become on that day the Judges of the common High Court.