Convert to Java logging framework. Closes #227.