EDIT

<?xml version="1.0"?>

<!DOCTYPE ivy-module [

	<!ENTITY vaadin.version "7.7.9">

]>

<ivy-module version="2.0"

	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

	xsi:noNamespaceSchemaLocation="http://ant.apache.org/ivy/schemas/ivy.xsd">

	<info organisation="com.example" module="v7proj" />

	<configurations>

		<!-- The default configuration, which should be deployed to the server -->

		<conf name="default" />

		<!-- A configuration only needed when compiling the widget set. Should 

			not be deployed to the server -->

		<conf name="widgetset-compile" />

		<!-- A configuration used in compilation of server side classes only.

			Should be deployed to the server -->

		<conf name="nodeploy" />

	</configurations>

	<dependencies defaultconf="default" defaultconfmapping="default->default">

		<!-- The core server part of Vaadin -->

		<dependency org="com.vaadin" name="vaadin-server" rev="&vaadin.version;" />

		<!-- Vaadin themes -->

		<dependency org="com.vaadin" name="vaadin-themes" rev="&vaadin.version;" />

		<!-- Push support -->

		<dependency org="com.vaadin" name="vaadin-push" rev="&vaadin.version;" />

		<!-- TestBench 4 -->

		<dependency org="com.vaadin" name="vaadin-testbench-api" rev="&vaadin.version;" conf="nodeploy -> default" />

		<!-- Precompiled DefaultWidgetSet -->

		<dependency org="com.vaadin" name="vaadin-client-compiled"

			rev="&vaadin.version;" />

		<!-- Vaadin client side, needed for widget set compilation -->

		<dependency org="com.vaadin" name="vaadin-client" rev="&vaadin.version;"

			 conf="widgetset-compile->default" />

		<!-- Compiler for custom widget sets. Should not be deployed -->

		<dependency org="com.vaadin" name="vaadin-client-compiler"

			rev="&vaadin.version;" conf="widgetset-compile->default" />

	</dependencies>

</ivy-module>