Changed MOO algorithm classes to use built-in java logging library

[mhyee]

What's the default logging level, and how is this set? How can we enable logging for normal use but disable it for unit tests?

Also, we might want to have different logging levels. For example, "Found a solution" is less important than "Found Pareto point." We might also be interested in just the debugWriteStatistics() at the end and none of the "found a ____".

[joseph39]

The default logging level is determined by the library that calls kodkod by adding a handler. Alloy adds this handler to log everything that kodkod outputs, whereas no such handler exists for unit tests.

I don't think we need different logging levels (yet). All the logging output are used primarily for debugging purpose only, and I don't think they will likely benefit the end user.

[mhyee]

Fair enough, looks good to me.

[cpkleynhans]

LGTM