push property
Merge branch 'master' of https://github.com/semanticsoft/vaaclipse.git