The manual says they go in “WEB-INF/lib/*.jar - These are the Vaadin libraries and their dependencies. They can be found in the in-stallation package or as loaded by a dependency management system such as Maven or Ivy.”
However, Ivy is putting the vaadin jars in lib/jars, lib/javadocs, and lib/sources. Most go in lib/jars, only one jar in the other two.
I do have to put the non-Vaadin jars in WEB-INF/lib.
Which is the correct behavior?