public static void setAlternativeSource(VirtualFile source, VirtualFile dest) { ALTERNATIVE_SOURCE_KEY.set(source, dest); ALTERNATIVE_SOURCE_KEY.set(dest, null); }