CloneSet982

plugins/org.eclipse.jdt.ui/core refactoring/org/eclipse/jdt/internal/corext/refactoring/nls/NLSUtil.java

plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaCompareUtilities.java

        /**
         * Returns null if an error occurred.
         * closes the stream 
         */
        public static String readString(InputStream is) {
                if (is == null)
                        return null;
                BufferedReader reader = null;
                try {
                        StringBuffer buffer = new StringBuffer();
                        char[] part = new char[2048];
                        int read = 0;
                        reader = new BufferedReader(new InputStreamReader(is, "8859_1")); //$NON-NLS-1$

                        while ((read = reader.read(part)) != -1)
                                buffer.append(part, 0, read);

                        return buffer.toString();
                }
                  catch (IOException ex) {
                  }
                  finally {
                        if (reader != null) {
                                try {
                                        reader.close();
                                } catch (IOException ex) {
                                  }
                        }
                  }
                return null;
        }

        /**
         * Reads the contents of the given input stream into a string.
         * The function assumes that the input stream uses the platform's default encoding
         * (<code>ResourcesPlugin.getEncoding()</code>).
         * Returns null if an error occurred.
         */
        private static String readString(InputStream is, String encoding) {
                if (is == null)
                        return null;
                BufferedReader reader = null;
                try {
                        StringBuffer buffer = new StringBuffer();
                        char[] part = new char[2048];
                        int read = 0;
                        reader = new BufferedReader(new InputStreamReader(is, encoding));

                        while ((read = reader.read(part)) != -1)
                                buffer.append(part, 0, read);

                        return buffer.toString();
                }
                  catch (IOException ex) {
                        // NeedWork
                  }
                  finally {
                        if (reader != null) {
                                try {
                                        reader.close();
                                } catch (IOException ex) {
                                        // silently ignored
                                  }
                        }
                  }
                return null;
        }

 [[#variableb26a4b00]]static String readString( [[#variableb26a4a80]]) {
  if (is == null)
    return null;
  BufferedReader reader = null;
  try {
    StringBuffer buffer = new StringBuffer();
    char[] part = new char[2048];
    int read = 0;
    reader = new BufferedReader(new InputStreamReader(is,  [[#variableb26a4a00]])); //$NON-NLS-1$
    while ((read = reader.read(part)) != -1)
      buffer.append(part, 0, read);
    return buffer.toString();
  }
  catch (IOException ex) {
  // NeedWork
  }
  finally {
    if (reader != null) {
      try {
        reader.close();
      }
      catch (IOException ex) {
      // silently ignored
      }
    }
  }
  return null;
}
 

/**
 * Returns null if an error occurred.
 * closes the stream 
 */
public 

/**
 * Reads the contents of the given input stream into a string.
 * The function assumes that the input stream uses the platform's default encoding
 * (<code>ResourcesPlugin.getEncoding()</code>).
 * Returns null if an error occurred.
 */
private 

InputStream is 

InputStream is, String encoding 

"8859_1" 

encoding