Package ghidra.program.database.properties