From 1736a60ffe00b1e529cc43a7ba6df0a2b72472de Mon Sep 17 00:00:00 2001
From: "John J. Aylward" <john@johnanddalene.net>
Date: Wed, 21 Jun 2017 12:22:23 -0400
Subject: [PATCH] adds comment for the API change

---
 XMLTokener.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/XMLTokener.java b/XMLTokener.java
index 5bed89e..2ff3aff 100644
--- a/XMLTokener.java
+++ b/XMLTokener.java
@@ -298,6 +298,9 @@ public class XMLTokener extends JSONTokener {
      * If it is not found, we are left at the end of the source with a result of false.
      * @param to A string to skip past.
      */
+    // The Android implementation of JSONTokener has a public method of public void skipPast(String to)
+    // even though ours does not have that method, to have API compatibility, our method in the subclass
+    // should match.
     public void skipPast(String to) {
         boolean b;
         char c;