*** 103,112 **** --- 103,113 ---- /** * Returns the terminal with the specified name or null if no such * terminal exists. * + * @param name the terminal name * @return the terminal with the specified name or null if no such * terminal exists. * * @throws NullPointerException if name is null */