jwbf source code with palus tests