jazz/09-07-08: Ten.java

import java.io.*;
import java.lang.*;

public class Ten extends Coin
{
  public Ten()
  {
    Value = new Integer(10);
  }
}