tidier initialization functions
more tidies
remove naked java spawning business
f_lustre -> FLustre