vre-deploy/.settings/com.gwtplugins.gdt.eclipse.core.prefs

eclipse.preferences.version=1
lastWarOutDir=/Users/massi/workspace/vre-deploy-portlet/target/vre-deploy-4.2.0-SNAPSHOT
warSrcDir=src/main/webapp
warSrcDirIsOutput=false