Fairfax County Circuit Court found in favor of Jacqueline Hillman and awarded her the FEGLI life insurance benefits received by Maretta. The ex-wife appealed the decision to the Virginia Supreme Court, which reversed the lower courts ruling on the basis that other federal insurance programs preempt