[java] Simple division in Java - is this a bug or a feature?