Does this mean we have a secondary bug, that the error message you got said "package" when it meant "module"? -- Jon On 11/20/17 12:01 PM, Robert Scholte wrote: > > javadoc: error - No source files for package com.io7m.bugs.c