Not sure it matters with java 6+, but I have no strong opinion about it either way. Will change in next commit.