public final void updateTimeControlTitle(){
  int[] tmpInfo=ctrl.getTimeLimit();
  StringBuilder sb=new StringBuilder();
  int tc=tmpInfo[0];
  int mps=tmpInfo[1];
  int inc=tmpInfo[2];
  if (mps > 0) {
    sb.append(mps);
    sb.append("/");
  }
  sb.append(timeToString(tc));
  if ((inc > 0) || (mps <= 0)) {
    sb.append("+");
    sb.append(tmpInfo[2] / 1000);
  }
  summaryTitleText.setText(sb.toString());
}

public final void updateTimeControlTitle ( ) { int [ ] tmpInfo = ctrl . getTimeLimit ( ) ; StringBuilder sb = new StringBuilder ( ) ; int tc = tmpInfo [ 0 ] ; int mps = tmpInfo [ 1 ] ; int inc = tmpInfo [ 2 ] ; if ( mps > 0 ) { sb . append ( mps ) ; sb . append ( "/" ) ; } sb . append ( timeToString ( tc ) ) ; if ( ( inc > 0 ) || ( mps <= 0 ) ) { sb . append ( "+" ) ; sb . append ( tmpInfo [ 2 ] / 1000 ) ; } summaryTitleText . setText ( sb . toString ( ) ) ; }
update center field in second header line .
