release 4.1.2.Final to http://download.jboss.org/jbosstools/updates/stable/kepler; merge changes from dev into stable and vice-versa