String readLiteral(String source,int ofs,String token){
  return source.substring(ofs,ofs + token.length());
}

String readLiteral ( String source , int ofs , String token ) { return source . substring ( ofs , ofs + token . length ( ) ) ; }
read an unparsable text string .
