loaders extension can now handle multiple loaders for different filetypes. A difference between map and object files is now being made! Fixed a small redundancy in the guimanager. Added clearResourceLoaders() to the Pool class. This can be used if different resourceloaders have to be added at a later point in time (running editor for example, a plugin might want to have it's own loader added)

<Panel name="errorWindow" title="Error" min_size="300, 100">
	<ScrollArea>
		<Label name="message" text="Error:" wrap_text="1" vexpand="1"/>
	</ScrollArea>
	<Button name="okButton" text="OK"/>
</Panel>