better formatted --list in Documentation.java