Refried Beans without the Refry

INGREDIENTS

• 1 onion, peeled and halved
• 3 cups dry pinto beans, rinsed
• 1/2 fresh jalapeno pepper, seeded and chopped
• 2 tablespoons minced garlic
• 5 teaspoons salt
• 1 3/4 teaspoons fresh ground black pepper
• 1/8 teaspoon ground cumin, optional
• 9 cups water