Eclipse is supported with manual configuration, the null-safety section should mention it along to IntelliJ IDEA support mention.