Java builtin substitution (user-level)