LAZY: shortestPrefix.java