public IndexInput clone() {return (IndexInput) super.clone();}

public IndexInput clone ( ) { return ( IndexInput ) super . clone ( ) ; }
public override object Clone(){return (IndexInput)base.Clone();}
