void closepipe() throws IOException {
private void closepipe() throws IOException {
void closepipe() throws IOException {    if (outstream != null) {			// if output pipe	((OutputStream)outstream).close();	// close output file	try {	    pipe.waitFor();			// wait for process to finish	} catch (InterruptedException e) {	    // nothing	};	copy(pipe.getInputStream(), iKeyword.output.file());	// copy stdout    } else {	iKeyword.output.file().flush();		// only need to flush stdout    }    copy(pipe.getErrorStream(), iKeyword.errout.file());	// copy stderr    pipe.destroy();				// kill process}