jdk/src/java.base/share/classes/java/net/URI.java
changeset 31471 ae27c6f1d8bf
parent 28567 4121cce98397
child 32649 2ee9017c7597
--- a/jdk/src/java.base/share/classes/java/net/URI.java	Wed Jul 01 22:17:32 2015 +0300
+++ b/jdk/src/java.base/share/classes/java/net/URI.java	Thu Jul 02 00:26:35 2015 +0300
@@ -2018,7 +2018,7 @@
             StringBuilder sb = new StringBuilder(base.length() + cn);
             // 5.2 (6a)
             if (i >= 0)
-                sb.append(base.substring(0, i + 1));
+                sb.append(base, 0, i + 1);
             // 5.2 (6b)
             sb.append(child);
             path = sb.toString();
@@ -2686,7 +2686,7 @@
                 if (!match(c, lowMask, highMask)) {
                     if (sb == null) {
                         sb = new StringBuffer();
-                        sb.append(s.substring(0, i));
+                        sb.append(s, 0, i);
                     }
                     appendEscape(sb, (byte)c);
                 } else {
@@ -2698,7 +2698,7 @@
                            || Character.isISOControl(c))) {
                 if (sb == null) {
                     sb = new StringBuffer();
-                    sb.append(s.substring(0, i));
+                    sb.append(s, 0, i);
                 }
                 appendEncoded(sb, c);
             } else {