upgraded Weka to 3.7.12