stdio/stderr redirection for java that will also redirect stdio for native libraries