A compiler plugin for generating doc’able Java source from Scala source