Correction to Java Redirection.