.PROPERTIES 文件扩展名

PROPERTIES文件是Java程序使用的属性文件，是一个简单的文本文件，以键值对（key=value）格式存储内容，用于保存Java应用程序的各种设置参数和属性。Java中可以使用java.util.Properties类来读取PROPERTIES文件。

通俗点，PROPERTIES文件相当于定义一些变量，以及这些变量的值，在程序里面可以调用这些变量。这样做的好处就是，如果程序中的参数值需要变动，直接来改这个PROPERTIES文件就可以了，不用在去修改源代码，有利于你以后的代码重构，维护方便。

PROPERTIES文件示例

下面是一个配置数据库的PROPERTIES文件的示例：

PROPERTIES文件是文本格式，可以使用各种文本编辑器（如记事本、Notepad++）或者代码编辑器（VSCode、Emacs）打开和编辑。

PROPERTIES文件是沙盒游戏《我的世界》（Minecraft）使用的设置文件，它以纯文本格式保存，存储游戏的配置信息。PROPERTIES文件可用于设置《我的世界》多人联机服务器或者游戏模块。

最常见的《我的世界》属性文件是server.properties，用于存储多人服务器的配置数据。它保存诸如级别名称、怪物生成设置、允许的最大播放器以及服务器端口和IP地址等信息。

在编辑server.properties时，就算不同行之间的顺序可以打乱，确保其与原始的文件有相同的结构也很重要。每一行的等号之前的文本为变量名，你不应该修改这些内容。等号后面为变量的值，你可以按照规则自行编辑。以#开头的行为注释，添加、修改或移除注释行不会对游戏造成影响。

保存了server.properties的更改之后，服务端必须重新启动才能使更改生效。

如果server.properties文件未列出所有的属性（例如服务端版本更新加入新属性，或该文件还未创建），那么服务器在启动时会重写server.properties补全缺失的属性，并将缺失的属性值设为默认值。

server.properties - 用于存储《我的世界》多人服务器的所有设置。

《我的世界》游戏启动时会内部调用PROPERTIES文件。

我们也可以使用文本编辑器（如记事本、Atom）来打开和修改PROPERTIES文件。