In a saucepan, cover beans with water; cook until crisp-tender. Meanwhile, in a skillet, saute onion in butter until tender. Add lemon juice, parsley, salt if desired, thyme and paprika. Drain beans; add herb butter and stir to coat. Serve immediately.