CODEDROP: initial Java impl of the subsumer.