Parametric runtime monitoring for Java.