2014-03-19: branch should be indicated by the using tool (bash/eclipse)