jART: Java Agents for Real-Time