notes to java docs