title: Does Java's toLowerCase() preserve original string length?
body: <p>Assume two Java String objects:</p>
  
  <pre><code>String str = "&lt;my string&gt;";
  String strLower = str.toLowerCase();
  </code></pre>
  
  <p>Is it then true that for every value of <code>&lt;my string&gt;</code> the expression</p>
  
  <pre><code>str.length() == strLower.length()
  </code></pre>
  
  <p>evaluates to <code>true</code>?</p>
  
  <p>So, does <code>String.toLowerCase()</code> preserve original string length for any value of String?</p>