Yup, redCORE is loading its own bootstrap. User rboostrap, rjquery etc... Check helper folder for more info :)