Какой механизм в Java обеспечивает строгий контроль типов данных при компиляции и выполнении программы?