public JCDiagnostic create(DiagnosticType kind,DiagnosticSource source,DiagnosticPosition pos,String key,Object... args){
  return create(kind,null,EnumSet.noneOf(DiagnosticFlag.class),source,pos,key,args);
}

public JCDiagnostic create ( DiagnosticType kind , DiagnosticSource source , DiagnosticPosition pos , String key , Object ... args ) { return create ( kind , null , EnumSet . noneOf ( DiagnosticFlag . class ) , source , pos , key , args ) ; }
create a new diagnostic of the given kind , which is not mandatory and which has no lint category .
