This release is a tiny emergency fix for 0.1.14, and is almost entirely the same as that release. The main difference is that this compiles on GWT, and 0.1.14 doesn't. This has the same breaking change as 0.1.14: the .gwt.xml inherits
line is now <inherits name='regexodus.regexodus' />
. That should be all you need to know to update from 0.1.13, and if you used 0.1.14 you should definitely update the version.