Redirecting to Real-Time Specification for Java