A high performance User Agent parser for Java