The git repository address and other setup instructions can be found at
http://dev.vaadin.com/wiki/Vaadin/Development/StartingVaadin7Development
.
Setting up the environment does have quite a few steps, but once it is done, you can focus on making actual changes.
The instructions might still have small errors or omissions - feedback on them would be welcome so we can improve them.