Fix javadoc for XXXRes

Related to #874