メモメモ。 imenu についてはずいぶん前に設定していたけど， java-docs-lookup を使用するようになって， case-sensitive はきつい。 また，java.io.DataInputStream のドキュメントを引くために， java から入力していくのはもちろんのこと，DataInputStre…