title: Why isn't char of type SPACE_SEPARATOR recognized as whitespace?
body: <p>I have String like "12 345 678" and I wanted to remove whitespaces (because of conversion to int). So I did the usual: <code>myString.replaceAll("\\s", "");</code>, but what a surprise! It did nothing, the space was still there.</p>
  
  <p>When I investigated further, I figured out that this space character is of type Character.SPACE_SEPARATOR (<code>Character.getType(myString.charAt(&lt;positionOfSpaceChar&gt;))</code>).</p>
  
  <p>What I don't get is why isn't this oblivious space character (from Unicode category Zs 
  <a href="http://www.fileformat.info/info/unicode/category/Zs/list.htm" rel="nofollow">http://www.fileformat.info/info/unicode/category/Zs/list.htm</a>) recognized as whitespace (not even with <code>Character.isWhitespace(char)</code>).</p>
  
  <p>Reading through java api isn't helpful (so far).</p>
  
  <p>note: In the end, I just want to remove that character... and I will probably find a way how to do it, but I'm really interested in some explanation of why it's behaving like this. Thanks</p>