/parser/html/javasrc/
drwxr-xr-x [up]
-rw-r--r-- 2019-01-09 12:16 +0100 125170 AttributeName.java
-rw-r--r-- 2019-01-09 12:16 +0100 68741 ElementName.java
-rw-r--r-- 2019-01-09 12:16 +0100 33558 MetaScanner.java
-rw-r--r-- 2019-01-09 12:16 +0100 4676 Portability.java
-rw-r--r-- 2019-01-09 12:16 +0100 457 README.txt
-rw-r--r-- 2019-01-09 12:16 +0100 10794 StackNode.java
-rw-r--r-- 2019-01-09 12:16 +0100 5873 StateSnapshot.java
-rw-r--r-- 2019-01-09 12:16 +0100 321955 Tokenizer.java
-rw-r--r-- 2019-01-09 12:16 +0100 288271 TreeBuilder.java
-rw-r--r-- 2019-01-09 12:16 +0100 3971 UTF16Buffer.java