update repack.local and debian/copyright to remove DocumentPrinter.java