docs: public static void sortIMarkers(IMarker[] markers) {
          Arrays.sort(markers, new Comparator<IMarker>() {
              @Override
              public int compare(IMarker arg0, IMarker arg1) {
                  IResource resource0 = arg0.getResource();
                  IResource resource1 = arg1.getResource();
                  if (resource0 != null && resource1 != null) {
                      return resource0.getName().compareTo(resource1.getName());
                  }
                  if (resource0 != null && resource1 == null) {
                      return 1;
                  }
                  if (resource0 == null && resource1 != null) {
                      return -1;
                  }
                  return 0;
              }
          });
      }