bugfix in tmp evaluate2.jar