fix doc-comment in Context.java