1828         // certain system properties that are not intended for public access.

  1828         // certain system properties that are not intended for public access.

  1829         VM.saveAndRemoveProperties(props);

  1829         VM.saveAndRemoveProperties(props);

  1830 

  1830 

  1831 

  1831 

  1832         lineSeparator = props.getProperty("line.separator");

  1832         lineSeparator = props.getProperty("line.separator");

  1834 

  1834 

  1835         FileInputStream fdIn = new FileInputStream(FileDescriptor.in);

  1835         FileInputStream fdIn = new FileInputStream(FileDescriptor.in);

  1836         FileOutputStream fdOut = new FileOutputStream(FileDescriptor.out);

  1836         FileOutputStream fdOut = new FileOutputStream(FileDescriptor.out);

  1837         FileOutputStream fdErr = new FileOutputStream(FileDescriptor.err);

  1837         FileOutputStream fdErr = new FileOutputStream(FileDescriptor.err);

  1838         setIn0(new BufferedInputStream(fdIn));

  1838         setIn0(new BufferedInputStream(fdIn));