Merger of RLI Professional Technologies, Inc., a wholly owned subsidiary of RLI Corp., into Maui Jim Enterprises of Hawaii.