/make/jdk/src/classes/build/tools/generatecharacter/
drwxr-xr-x [up]
-rw-r--r-- 2017-10-26 08:52 +0200 5342 CharacterName.java
-rw-r--r-- 2017-10-26 08:52 +0200 8399 CharacterScript.java
-rw-r--r-- 2017-10-26 08:52 +0200 93368 GenerateCharacter.java
-rw-r--r-- 2017-10-26 08:52 +0200 7195 PrintCharacterRanges.java
-rw-r--r-- 2017-10-26 08:52 +0200 3559 PropList.java
-rw-r--r-- 2017-10-26 08:52 +0200 11799 SpecialCaseMap.java
-rw-r--r-- 2017-10-26 08:52 +0200 28693 UnicodeSpec.java
-rw-r--r-- 2017-10-26 08:52 +0200 15148 Utility.java