fixed a failure under java 6