> Especially if it is a substring of another string: in that case the array is > larger than string.length().
This was actually changed recently (and in j8) so no backing char[] array sharing is present anymore -- substring is copy-based. Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
