Update documentation comment in Module.java.
Copy missing field in copy constructor of PriorityExtendedAssoc.
Fix certain toString implementations.
Better pretty printing for literate comments.