this( new FileInputStream( file ), file );
super( _in ); in = _in; file = _file;
if ( closed ){ return; } closed = true; try{ in.close(); }finally{ if ( !file.delete()){ Debug.out( "Failed to delete file '" + file + "'" ); } }