Testing from the Eclipse plugin