Omit expensive String.substring() in JSONTokener on Java 1.7.0_06 and later