Updating weka to 3.6.12.
(cherry picked from commit cd417206f93be49dd848ce1b3633e335faed941f)
Lluís Batlle i Rossell 11 years ago 569a02b7 c6ed2aa2