portable MessageFormat.java
alertrenderer bugfix