workspace-explorer/src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml

<?xml version="1.0" encoding="UTF-8"?>
<module rename-to='WorkspaceExplorer'>
	<!-- Inherit the core Web Toolkit stuff. -->
	<inherits name='com.google.gwt.user.User' />
	
	<set-configuration-property name='xsiframe.failIfScriptTag' value='FALSE'/>
	
	<script src="jquery-1.10.1.min.js"></script>
	<script src="bootstrap.min.js"></script>
	
	<!-- Inherit the default GWT style sheet. You can change -->
	<!-- the theme of your GWT application by uncommenting -->
	<!-- any one of the following lines. -->
	<inherits name="com.github.gwtbootstrap.Bootstrap" />
	<inherits name='com.google.gwt.user.theme.standard.Standard' />
	
	<stylesheet src='workspace-explorer.css' />

	<!-- Specify the app entry point class. -->
	<!-- <entry-point class='org.gcube.portlets.widgets.wsexplorer.client.WorkspaceExplorer' /> -->

	<!-- Specify the paths for translatable code -->
	<source path='client' />
	<source path='shared' />

</module>