Faster Java input