Buggy code:
public interface JPigpio { public void gpioInitialize ( ) throws PigpioException { } public void gpioTerminate ( ) throws PigpioException { } public void gpioSetMode ( int gpio , int mode ) throws PigpioException { } public int gpioGetMode ( int gpio ) throws PigpioException { } public void gpioTrigger ( int gpio , long pulseLen , boolean level ) throws PigpioException { } public void gpioSetPullUpDown ( int gpio , int pud ) throws PigpioException { } public boolean gpioRead ( int gpio ) throws PigpioException { } public void gpioWrite ( int gpio , boolean value ) throws PigpioException { } public void gpioShiftOut ( int gpioData , int gpioClock , boolean bitOrder , byte value ) throws PigpioException { } public void gpioShiftOut ( GPIO gpioData , GPIO gpioClock , boolean bitOrder , byte value ) throws PigpioException { } public void gpioShiftOut ( int gpioData , int gpioClock , boolean clockLevel , boolean bitOrder , byte value ) throws PigpioException { } public void gpioShiftOut ( GPIO gpioData , GPIO gpioClock , boolean clockLevel , boolean bitOrder , byte value ) throws PigpioException { } public void gpioServo ( int gpio , int pulseWidth ) throws PigpioException { } public void gpioDelay ( long delay ) throws PigpioException { } public void gpioDelay ( long delay , int type ) throws PigpioException { } public int notifyOpen ( ) throws PigpioException { } public int notifyBegin ( int handle , int bits ) throws PigpioException { } public int notifyPause ( int handle ) throws PigpioException { } public int notifyClose ( int handle ) throws PigpioException { } public int setWatchdog ( int userGpio , int timeout ) throws PigpioException { } public long gpioTick ( ) throws PigpioException { } public long getCurrentTick ( ) throws PigpioException { } public int waveClear ( ) throws PigpioException { } public int waveAddGeneric ( ArrayList < Pulse > pulses ) throws PigpioException { } public int waveAddSerial ( int userGpio , int baud , byte [ ] data , int offset , int bbBits , int bbStop ) throws PigpioException { } public int waveAddNew ( ) throws PigpioException { } <START_BUG> public int waveTxBusy ( ) throws PigpioException ; <END_BUG> public int waveTxStop ( ) throws PigpioException { } public int waveCreate ( ) throws PigpioException { } public int waveDelete ( int waveId ) throws PigpioException { } public int waveSendOnce ( int waveId ) throws PigpioException { } public int waveSendRepeat ( int waveId ) throws PigpioException { } public int i2cOpen ( int i2cBus , int i2cAddr ) throws PigpioException { } public void i2cClose ( int handle ) throws PigpioException { } public int i2cReadDevice ( int handle , byte [ ] data ) throws PigpioException { } public void i2cWriteDevice ( int handle , byte [ ] data ) throws PigpioException { } public int spiOpen ( int channel , int baudRate , int flags ) throws PigpioException { } public void spiClose ( int handle ) throws PigpioException { } public int spiRead ( int handle , byte [ ] data ) throws PigpioException { } public int spiWrite ( int handle , byte [ ] data ) throws PigpioException { } public int spiXfer ( int handle , byte [ ] txData , byte [ ] rxData ) throws PigpioException { } public void gpioSetAlertFunc ( int gpio , Alert alert ) throws PigpioException { } public void setDebug ( boolean flag ) throws PigpioException { } public long gpioxPulseAndWait ( int outGpio , int inGpio , long waitDuration , long pulseHoldDuration , boolean pulseLow ) throws PigpioException { } public void addCallback ( Callback cb ) throws PigpioException { } public void removeCallback ( Callback cb ) throws PigpioException { } public static final int PI_GPIO2 = 2 ; public static final int PI_GPIO3 = 3 ; public static final int PI_GPIO4 = 4 ; public static final int PI_GPIO5 = 5 ; public static final int PI_GPIO6 = 6 ; public static final int PI_GPIO7 = 7 ; public static final int PI_GPIO8 = 8 ; public static final int PI_GPIO9 = 9 ; public static final int PI_GPIO10 = 10 ; public static final int PI_GPIO11 = 11 ; public static final int PI_GPIO12 = 12 ; public static final int PI_GPIO13 = 13 ; public static final int PI_GPIO14 = 14 ; public static final int PI_GPIO15 = 15 ; public static final int PI_GPIO16 = 16 ; public static final int PI_GPIO17 = 17 ; public static final int PI_GPIO18 = 18 ; public static final int PI_GPIO19 = 19 ; public static final int PI_GPIO20 = 20 ; public static final int PI_GPIO21 = 21 ; public static final int PI_GPIO22 = 22 ; public static final int PI_GPIO23 = 23 ; public static final int PI_GPIO24 = 24 ; public static final int PI_GPIO25 = 25 ; public static final int PI_GPIO26 = 26 ; public static final int PI_GPIO27 = 27 ; public static final int PI_OFF = 0 ; public static final int PI_ON = 1 ; public static final int PI_CLEAR = 0 ; public static final int PI_SET = 1 ; public static final boolean PI_LOW = false ; public static final boolean PI_HIGH = true ; public static final int PI_TIMEOUT = 2 ; public static final int PI_MICROSECONDS = 0 ; public static final int PI_MILLISECONDS = 1 ; public static final int PI_SECONDS = 2 ; public static final int PI_RISING_EDGE = 0 ; public static final int PI_FALLING_EDGE = 1 ; public static final int PI_EITHER_EDGE = 2 ; public static final int PI_INPUT = 0 ; public static final int PI_OUTPUT = 1 ; public static final int PI_ALT0 = 4 ; public static final int PI_ALT1 = 5 ; public static final int PI_ALT2 = 6 ; public static final int PI_ALT3 = 7 ;

Fix:
public boolean waveTxBusy ( ) throws PigpioException ;