question: 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 ; }
target:  Constructs a specification name from the proposition string