jdk_switcher documentation, update overall Java documentation