1. mc_launcher
2. server_properties
3. ServerProperties
4. saveToFile method

ServerProperties class

1. Constructors
2. ServerProperties
3. loadFile
4. loadMap
5. loadProperties
6. Properties
7. allow_flight
8. allow_nether
9. broadcast_console_to_ops
10. difficulty
11. enable_command_block
12. enable_query
13. enable_rcon
14. enforce_whitelist
15. file
16. force_gamemode
17. function_permission_level
18. gamemode
19. generate_structures
20. generator_settings
21. hardcore
22. level_name
23. level_seed
24. level_type
25. max_build_height
26. max_players
27. max_tick_time
28. max_world_size
29. motd
30. network_compression_threshold
31. online_mode
32. op_permission_level
33. player_idle_timeout
34. prevent_proxy_connections
35. pvp
36. resource_pack
37. resource_pack_sha1
38. server_ip
39. server_port
40. snooper_enabled
41. spawn_animals
42. spawn_monsters
43. spawn_npcs
44. spawn_protection
45. template
46. view_distance
47. white_list
48. hashCode
49. runtimeType
50. Methods
51. save
52. saveSync
53. saveToFile
54. saveToFileSync
55. toMap
56. toProperties
57. toString
58. noSuchMethod
59. Operators
60. operator ==

Future<File> saveToFile(String file) {
  return toProperties().saveToFile(file);
}