JBBPIntCounter extends Number { public int getAndDecrement() { return this.counter--; } JBBPIntCounter();  JBBPIntCounter(final int startValue); void set(final int value); void inc(); void dec(); int getAndIncrement(); int incrementAndGet(); int getAndDecrement(); int decrementAndGet(); int get(); int getAndAdd(final int value); @Override int intValue(); @Override long longValue(); @Override float floatValue(); @Override double doubleValue();  }
@Test public void testGetAndDecrement() { final JBBPIntCounter counter = new JBBPIntCounter(5); assertEquals(5, counter.getAndDecrement()); assertEquals(4, counter.getAndDecrement()); }