altchars.java