fix bug with navigation to Java def of String.clone()