Update doc.java