Some minor corrections to Inventory

src/comp303/corp/Inventory.java

@@ -2,6 +2,7 @@
 
 import java.util.HashMap;
 import java.util.Iterator;
+import java.util.Map;
 
 /**
  * Represents the inventory of a 
@@ -10,7 +11,7 @@
 public class Inventory implements Iterable<Item>
 {
 	private final String aName; // Unique
-	private final HashMap<Item, Integer> aInventory = new HashMap<>();
+	private final Map<Item, Integer> aInventory = new HashMap<>();
 
 	/**
 	 * Creates a new inventory with no items in it,
@@ -47,12 +48,10 @@ public void stock(Item pItem, int pQuantity)
 	}
 
 	/**
-	 * Removes pQuantity of items from the inventory,
-	 * for example by selling them or tossing them in
-	 * the garbage.
+	 * Removes pQuantity of items from the inventory.
 	 * @param pItem The type of item to dispose of
 	 * @param pQuantity The amount to dispose.
-	 * @pre aInventory.containsKey(pItem) && pQuantity >= aInventory.get(pItem)
+	 * @pre aInventory.containsKey(pItem) && pQuantity <= available(pItem)
 	 */
 	public void dispose(Item pItem, int pQuantity)
 	{