Fix encoding and JavaDoc linking