JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design