private void splitCurrentLabel(Label alternateSuccessor,List<Label> catchLabels){
  Label newLabel=new Label();
  adopt(newLabel);
  currentLabel.primarySuccessor=newLabel;
  currentLabel.alternateSuccessor=alternateSuccessor;
  currentLabel.catchLabels=catchLabels;
  currentLabel=newLabel;
  currentLabel.marked=true;
}

private void splitCurrentLabel ( Label alternateSuccessor , List < Label > catchLabels ) { Label newLabel = new Label ( ) ; adopt ( newLabel ) ; currentLabel . primarySuccessor = newLabel ; currentLabel . alternateSuccessor = alternateSuccessor ; currentLabel . catchLabels = catchLabels ; currentLabel = newLabel ; currentLabel . marked = true ; }
closes the current label and starts a new one .
