The real-time specification for Java | lit.salon