/** applies <i>changeToValue</i> to the <i>health</i> attribute. */ public void adjustHealth(double changeToValue) { health.set(health.get() + changeToValue); }