Made JavaRadio static, to better reflect how it is used by the eca files, created RadioProgram.java so that we have our own java based test case, defined ECAForBound as annotation to capture bounds in loops and modified STest to test the latter 2.