WIP: junit tests generation