X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Forg%2Fjson%2FHTTPTokener.java;fp=src%2Forg%2Fjson%2FHTTPTokener.java;h=0db5eed078f00c4befeff5ae3c95e2bc5d0fa649;hb=3459a8a691cb22508d7067f240b7254e588e77d3;hp=55f48ffa5f3cd232718c8e565a8bb541e8c2b04d;hpb=5b27f1062b2203c4c31702e205f4c78e1992063e;p=jalview.git

diff --git a/src/org/json/HTTPTokener.java b/src/org/json/HTTPTokener.java
index 55f48ff..0db5eed 100644
--- a/src/org/json/HTTPTokener.java
+++ b/src/org/json/HTTPTokener.java
@@ -25,53 +25,66 @@ SOFTWARE.
 */
 
 /**
- * The HTTPTokener extends the JSONTokener to provide additional methods
- * for the parsing of HTTP headers.
+ * The HTTPTokener extends the JSONTokener to provide additional methods for the
+ * parsing of HTTP headers.
+ * 
  * @author JSON.org
  * @version 2015-12-09
  */
-public class HTTPTokener extends JSONTokener {
-
-    /**
-     * Construct an HTTPTokener from a string.
-     * @param string A source string.
-     */
-    public HTTPTokener(String string) {
-        super(string);
-    }
+public class HTTPTokener extends JSONTokener
+{
 
+  /**
+   * Construct an HTTPTokener from a string.
+   * 
+   * @param string
+   *          A source string.
+   */
+  public HTTPTokener(String string)
+  {
+    super(string);
+  }
 
-    /**
-     * Get the next token or string. This is used in parsing HTTP headers.
-     * @throws JSONException
-     * @return A String.
-     */
-    public String nextToken() throws JSONException {
-        char c;
-        char q;
-        StringBuilder sb = new StringBuilder();
-        do {
-            c = next();
-        } while (Character.isWhitespace(c));
-        if (c == '"' || c == '\'') {
-            q = c;
-            for (;;) {
-                c = next();
-                if (c < ' ') {
-                    throw syntaxError("Unterminated string.");
-                }
-                if (c == q) {
-                    return sb.toString();
-                }
-                sb.append(c);
-            }
+  /**
+   * Get the next token or string. This is used in parsing HTTP headers.
+   * 
+   * @throws JSONException
+   * @return A String.
+   */
+  public String nextToken() throws JSONException
+  {
+    char c;
+    char q;
+    StringBuilder sb = new StringBuilder();
+    do
+    {
+      c = next();
+    } while (Character.isWhitespace(c));
+    if (c == '"' || c == '\'')
+    {
+      q = c;
+      for (;;)
+      {
+        c = next();
+        if (c < ' ')
+        {
+          throw syntaxError("Unterminated string.");
         }
-        for (;;) {
-            if (c == 0 || Character.isWhitespace(c)) {
-                return sb.toString();
-            }
-            sb.append(c);
-            c = next();
+        if (c == q)
+        {
+          return sb.toString();
         }
+        sb.append(c);
+      }
+    }
+    for (;;)
+    {
+      if (c == 0 || Character.isWhitespace(c))
+      {
+        return sb.toString();
+      }
+      sb.append(c);
+      c = next();
     }
+  }
 }