docs: private static final String getDataSourceID(String application, String module, String component, String jndiName) {
          StringBuilder sb = new StringBuilder(jndiName.length() + 80);
          if (application != null) {
              sb.append(AppDefinedResource.APPLICATION).append('[').append(application).append(']').append('/');
              if (module != null) {
                  sb.append(AppDefinedResource.MODULE).append('[').append(module).append(']').append('/');
                  if (component != null)
                      sb.append(AppDefinedResource.COMPONENT).append('[').append(component).append(']').append('/');
              }
          }
          return sb.append(DataSourceService.DATASOURCE).append('[').append(jndiName).append(']').toString();
      }