docs: public static Platform getPlatform(){
          // if a platform instance has not explicitly been
          // selected, then get the default platform
          if(platform == null){
              try {
                  setPlatform(getDefaultPlatform());
              } catch (PlatformAlreadyAssignedException e) {
                  // we are eating this exception because it should never be thrown in this case
                  e.printStackTrace();
                  return null;
              }
          }
          return platform;
      }