Formatted Java source