Java extensions code for FatRat