dev-env.md

+---
+title: To setup the development environment
+---
 ## Steps to install and configure the development environment under Linux (Ubuntu) distribution 
  
 ### Java: OpenJDK 17