String readSubstring(String source,int ofs){
  return readSubstring(source,ofs,source.length());
}

String readSubstring ( String source , int ofs ) { return readSubstring ( source , ofs , source . length ( ) ) ; }
read an substring from source .
