public String abbreviate(){
  final String s=get();
  return s.substring(0,Math.min(s.length(),9));
}

public String abbreviate ( ) { final String s = get ( ) ; return s . substring ( 0 , Math . min ( s . length ( ) , 9 ) ) ; }
obtain a shorter version of this key string , using a leading prefix .
