Fix Jenkins build for Lisa's tests

Apparently Eclipse has a different build path from what the config file says, so we never did the config properly.