public String getKey(int key) {
		if (key == 0) 
			return Long.toString(this.getEvaluationIndex());
		else return Long.toString(this.getEvaluationIndex()
				+ 1000 * this.getInstanceIndex());
	}
public String getKey ( int key ) { if ( key == 0 ) return Long . toString ( this . getEvaluationIndex ( ) ) ; else return Long . toString ( this . getEvaluationIndex ( ) + 1000 * this . getInstanceIndex ( ) ) ; }
@Override