Several miscellaneous tidies: soft references, index.list, getMembers(), maven eclipse slowness, docs