result-path=build/result
checkout-path=build/checkout
product-file=vaadin
product-name=Vaadin
toolkit-package=com/vaadin
eclipse-workspace-name=vaadin-examples
eclipse-launch-vmargs=-Xms256M -Xmx512M
gwt-dir=build/gwt