code: public String getLineAsString(int line) {
  	int index = line - 1;
  	if (lines.length <= index) return null;
  	int max = lines[index].intValue();
  	int min = 0;
  	if (index != 0) min = lines[index - 1].intValue() + 1;
  
  	if (min < max && max - 1 < lcText.length) return this.substring(min, max - min);
  	return "";
      }
docs: Gibt die angegebene Zeile als String zurueck.
  
  @param line Zeile die zurueck gegeben werden soll
  @return Zeile als Zeichenkette