public String constructSpecName(String proposition,boolean firstRun){
  Spec existingSpec=getSpecByName(proposition);
  if (existingSpec != null) {
    if (firstRun) {
      return constructSpecName(proposition.concat("_1"),false);
    }
 else {
      String oldNumber=proposition.substring(proposition.lastIndexOf("_"));
      int number=Integer.parseInt(oldNumber) + 1;
      proposition=proposition.substring(0,proposition.lastIndexOf("_"));
      return constructSpecName(proposition + number,false);
    }
  }
  return proposition;
}

public String constructSpecName ( String proposition , boolean firstRun ) { Spec existingSpec = getSpecByName ( proposition ) ; if ( existingSpec != null ) { if ( firstRun ) { return constructSpecName ( proposition . concat ( "_1" ) , false ) ; } else { String oldNumber = proposition . substring ( proposition . lastIndexOf ( "_" ) ) ; int number = Integer . parseInt ( oldNumber ) + 1 ; proposition = proposition . substring ( 0 , proposition . lastIndexOf ( "_" ) ) ; return constructSpecName ( proposition + number , false ) ; } } return proposition ; }
constructs a specification name from the proposition string
