package python;

public interface Platform {
    /**
     * Return the number of CPU nanoseconds that this thread has consumed.
     */
    public long clock();

    public void debug(java.lang.String msg);

    public void debug(java.lang.String msg, java.lang.Object obj);

    public org.python.Object getPlatform();

    public org.python.Object stderr();

    public org.python.Object stdout();

    public org.python.Object stdin();

    public org.python.Object args();
}
@@ -471,8 +471,9 @@
 rgs();%0A%7D
+%0A

Fix one last file with missing eof newline