public double putStrike() { if (hasPut()) return putStrike_; else throw new ApplicationException("putStrike has not been set"); // return null; }