SPL run-time agent for Java