encoding for npst javadoc