Code Editor : doc-java.srt