code: public JDK getJDK(String name) {
          if(name==null) {
              // if only one JDK is configured, "default JDK" should mean that JDK.
              List<JDK> jdks = getJDKs();
              if(jdks.size()==1)  return jdks.get(0);
              return null;
          }
          for (JDK j : getJDKs()) {
              if(j.getName().equals(name))
                  return j;
          }
          return null;
      }
docs: Gets the JDK installation of the given name, or returns null.