Notably absent from your list is http://grepcode.com -- which IMO has one of the best interfaces around, with compiled code docs and some java-centric implementation and invocation links for java code they index.