Repair broken JavaDoc build #146