changed binary int definition into a java 6 conform notation