Pre-released jars for 3.25

The Jars here reflect ongoing development for 3.25, and may be needed for going forward.

History

3.25.84 from Mar 18, 2019

Several small enhancements and pull requests integrated.

3.25.57 from Sep 22, 2018

• The Java.IO.File type is now pure native as required in #367
• uses jline2.14.6 since earlier versions fail to determine terminal type on Ubuntu bionics

3.25.42 from May 10, 2018

Contains a fix for #357 that changes the Java signatures of some library functions.