Add SIZE to the distinfo of the port java/jmp. (patch included)
State Changed From-To: open->closed Committed, thanks!