extracted jsr310 extensions