writer.close();
}
}
private String extractContents(Doc doc) throws IOException {
SourcePosition position = doc.position();
File f = position.file();
if (f == null) {
return null;
}
BufferedReader r = new BufferedReader(new FileReader(f));
for (int i = 0, j = position.line() - 1; i < j; i++) {
r.readLine();
}
List<String> strings = new ArrayList<String>();
int padCount = Integer.MAX_VALUE;