OpenShift cartridges for GateIn and JBoss Portal Platform