portmidi: rebuild for openjdk