A didactic Java Development Environment