[gatein-dev] exo platform kernel