Changed WTS parsing (I think this was a bug in the Java standard
library, a regexp search would not terminate)