.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 9 2ab67fa1e78d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.wst.jsdt.ui.superType.name	Thu Aug 16 14:14:09 2012 +0200
@@ -0,0 +1,1 @@
+Window
\ No newline at end of file