[217153] Babel server should not expose build.properties file
diff --git a/html/process_map_files.php b/html/process_map_files.php
index f2aac34..0e1e0fe 100755
--- a/html/process_map_files.php
+++ b/html/process_map_files.php
@@ -67,7 +67,7 @@
 				$aOutLines = split("\n", $out);
 				foreach ($aOutLines as $out_line) {
 					$out_line = trim($out_line);
-					if(preg_match("/\.properties$/", $out_line)) {
+					if(preg_match("/\.properties$/", $out_line) && !preg_match("/build\.properties$/", $out_line)) {
 						# this is a .properties file!
 						$parts = split(" ", $out_line);
 						$file_name = $parts[1];