Raspberry Pi port, piCore-15.0 is available!
This extension includes the libgcj library and the pdftk binary.