With an estimated $700 million in the Government Development Bank’s coffers and a Treasury Department that reported $488.6 million in revenue collections in November, Gov. Alejandro García-Padilla announced Sunday public sector employees will receive their Christmas bonuses, as established by law.