The Java port of the microtome library