No change at all. The "change" happened because Document.java has been
changed to TextFile.java. Just that...