set encoding for JavaDoc