Community college enrollment down 4.2 percent