The two methods in HTMLEditorKit: read and insertHTML specify RuntimeException is thrown:

     * @throws RuntimeException (will eventually be a BadLocationException)
     * if pos is invalid

This is confusing.

BadLocationException is a checked exception and it's also documented.