The Java Runtime Analysis Toolkit