remove double space, the java tool hates it