Product Lines for Locks