Added @throws for methods that throw exceptions, and brought docs in line with actual behavior for a couple of methods. In particular String.trim() doesn't actually trim just whitespace (!). I suspect poor original coding, then being stuck with it.
WRT deleteWhitespace(String), I propose that this be broken into two methods, deleteSpace() and deleteWhitespace(), which would cut characters based on isSpace() and isWhitespace() respectively? This patch just documents the existing behavior. -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
