mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

boli
20.27.2007 fceec4773fdc91fa7e11334a56f0403fd69292ed
opendj-sdk/opends/src/build-tools/org/opends/build/tools/CoverageDiff.java
@@ -171,7 +171,7 @@
    }
    catch(IOException ie)
    {
      System.out.println("WARNING: An error occured while loading EMMA " +
      System.out.println("WARNING: An error occurred while loading EMMA " +
          "data. Report will not contain any coverage information.");
    }
@@ -181,7 +181,7 @@
    }
    catch(IOException ie)
    {
      System.out.println("ERROR: An error occured while processing diff output: " + ie.toString() + " Quitting...");
      System.out.println("ERROR: An error occurred while processing diff output: " + ie.toString() + " Quitting...");
      return;
    }
    System.out.println("Coverage diff completed in " + (System.currentTimeMillis() - start) + " ms.");
@@ -512,7 +512,7 @@
    if(workingCopyFlag == null || otherCopyFlag == null)
    {
      throw new IOException("Error occured while parsing diff output");
      throw new IOException("Error occurred while parsing diff output");
    }
    else
    {