fix: openJDK can't infer type