Extenstion for formatted string output for java written in MPS