(BIN) jgiven-plugin.hpi