Add Borowski's open source java solver