extra formatters for java parsing