There are more than 5 artifacts are depending on vaadin-themes-7.1.7.
The following table lists the Java libraries for GWT and vaadin-themes.