}
return true ;
} catch (AtlasException ex)
{
if ( ex.getCause().getClass() == java.nio.charset.MalformedInputException.class )
throw new RiotParseException("Bad character encoding", inputStream.getLineNum(), inputStream.getColNum()) ;
throw new RiotParseException("Bad input stream", inputStream.getLineNum(), inputStream.getColNum()) ;
}
}