import java.awt.Color;

public class Bank extends SimObject {
	//	OVERVIEW:  Bank is a subtype of SimObject that represents a 
	//	bank.  It does not move, but a crawler can withdraw money.

	protected boolean /*@non_null@*/inTurn;
	protected /*@non_null@*/String state;

	public Bank() {
		inTurn = false;
		state = "Bank";

	public Color getColor()
	//@ensures \result == Color.gray
		return Color.gray;
	} //@nowarn NonNullResult 

	public void executeTurn() throws RuntimeException {
		//EFFECTS:  No action is taken, pause while crawler gets money.  

// Modeled after and modified