Introduce decrement implemented in java