Fix Document.java