made java 1.5 the default