imagej/imagej — pull request #39 by dscho (2014-03-04 16:14:51+00:00)
Title: Fix a couple of bugs in MiniMaven

These bugs were detected by Jenkins, building Fiji-daily.