ChangeLog.java; switch plain text view to HTML view