imported DiffBoundsPrinter in Diff.java