A Development and Testing environment for Java