Made the libraries compatible with JEBTest