new_getstr_method

   public synchronized String getString(int offset) {
      contents.position(offset);
      String new_str = "";
      while(true){
        char a = contents.getChar();
    	  if(a == '\0') break;
    	  new_str += a;
      }
      return new_str;
   }