Mirror of Apache Ripple as used by JBoss Tools