don't blow up if the source mirror can't work. (Java 7-15 appears to have removed an internal class)