.PROPERTIES File Extension

.PROPERTIES File Extension

2 file types use the .properties file extension.
File Type 1

Minecraft Properties File

Developer Mojang Specifications
Popularity
4.4  |  751 Votes
Category Game Files
Format Text

What is a PROPERTIES file?

A PROPERTIES file is a settings file used by Minecraft, a sandbox block construction game. It is saved in plain text and stores configuration information for the game. PROPERTIES files may be used for configuring a Minecraft multiplayer server or a game mod.

More Information

The most common Minecraft properties file is server.properties, which stores configuration data for a multiplayer server. It saves information such as the level name, monster spawning settings, the maximum allowed players, and the server port and IP address.

You will most likely only come across the PROPERTIES file if you want to modify the configuration of a multiplayer server. After editing the file, you must restart the server in order for the changes to be applied.

Common PROPERTIES Filenames

server.properties - Common file that stores all the settings for a Minecraft multiplayer server.

Open over 400 file formats with File Viewer Plus.Free Download

Programs that open PROPERTIES files

Windows
Included with OS
Mac
Included with OS
Linux
Free
Updated November 29, 2016
File Type 2

Java Properties File

Developer Sun Microsystems
Popularity
4.0  |  87 Votes
Category Settings Files
Format Text

What is a PROPERTIES file?

Properties file used by Java programs; contains a collection of key-value pairs; can be loaded by the Java Virtual Machine (JVM) using the java.util.Properties API; used for storing various program settings and properties that can be accessed by the application.

More Information

Once PROPERTIES files have been loaded, the actual properties are persisted to the hard drive in a collection of nested files and folders that represent the hierarchy of key-value pairs. The files are saved to the $HOME/.properties/ directory by default.

You can access Java properties using the java.util.Properties API in your Java programs.

Programs that open PROPERTIES files

Updated October 11, 2013

Verified by FileInfo.com

The FileInfo.com team has independently researched all file formats and software programs listed on this page. Our goal is 100% accuracy and we only publish information about file types that we have verified.

If you would like to suggest any additions or updates to this page, please let us know.