Redirecting to Generic Java (programming language)