JDave extensions for testing Robot Framework libraries