/guava/android/guava/src/com/google/common/io/AppendableWriter.java
target.append( ( char) c) ;target.append( str, off, off + len) ;
target.append ( str, off, off + len ) ;
target.append(str); } @Override public void write(String str, int off, int len) throws IOException { checkNotNull(str); checkNotClosed(); <extra_id_0> } @Override public void flush() throws IOException { checkNotClosed(); if (target instanceof Flushable) { ((Flushable) target).flush();