java 0007-0018, 0139