a String trick for java language