concrete Booster25 syntax in stratego (fix build 2nd time)
concrete Booster25 syntax in stratego (fix build 2nd time)

Booster2/Booster2,Booster2/Booster2,Booster2/Booster2,Booster2/Booster2,Booster2/Booster2