How to configure a Java development environment in Linux