Controls annotation, fx abstract module and tests