Using JWBF 3.0.0; more little changes...