} catch (UnmappableCharacterException uce) {
// These are caused by coding errors, not user error.
throw new AssertionError(uce);
} catch (IOException iox) {
FileRef sourceFileRef = compilationUnit.getSourceFileRef();
alertSink.add(new IOError(sourceFileRef, iox));
}
alertSink.add(new ProgressAlert(outputPosition, "Generate finished"));
}