Editing: java.txt