Survey: Spring or Spring Boot are used by 86% of the Java developers