The 3.13.0 release fixes incompatibility problems with newer servlet APIs,
removes Google document source (API terminated) and hides Bing document source
from public demos (free API limited to a cap of query counts that we cannot
provide). Other minor issues have been resolved.
Servlet API incompatibility
A servlet API incompatibility has been fixed that caused visualizations
to load for a very long time. Built-in response compression has been removed
as well, if you wish to have compressed HTTP responses, configure it at
your servlet container level.
Google has terminated the search API and has been removed from the code.
The source view in the Workbench wasn't saving all attributes (including the query). All
attributes are now saved, so if you export attributes make sure the query isn't included
or it'll be treated as the default.
Another issue affected rendering of results list on high-DPI screens, this is now fixed.
ISO language codes
ISO language codes for Greek, Czech, Estonian and Irish were wrong, they are now correct.
For a complete list of improvements and bug fixes, see JIRA