Release Notes: This is a major release with version number 2.5. The Java API will be more stable from now on. It fixes a race condition in distributed (hybrid) Gröbner base implementations and improves the MPJ version of GB computations. The GBFactory has changed, and a new option to select Gebauer & Möller critical pair handling in GBAlgorithmBuilder was added. The default precision of BigDecimal was changed to DECIMAL128. The GreatestCommonDivisorHensel implementation is improved by using integer evaluation points and further optimizations.