Agents4J: An agent framework for Java