AndroidSDK: Use Console.put() for printing ant output