String (final String str) { final int right = str.length(); int left = 0; while (left < right && Verifier.isXMLWhitespace(str.charAt(left))) { left++; } if (left >= right) { return ""; } return str.substring(left); }