eclipse: update to 4.4.1; depends on virtual?java-environment