public boolean removePrefix(final String prefix){
  boolean changed;
  if (txt.startsWith(prefix)) {
    txt=txt.substring(prefix.length());
    changed=true;
  }
 else {
    changed=false;
  }
  return changed;
}

public boolean removePrefix ( final String prefix ) { boolean changed ; if ( txt . startsWith ( prefix ) ) { txt = txt . substring ( prefix . length ( ) ) ; changed = true ; } else { changed = false ; } return changed ; }
removes a prefix , if present . if the prefix was found at the beginning of the object name , it is removed . otherwise txt remains unchanged .
