add jsr 354