Author: vyemialyanchyk Date: 2009-06-15 11:57:28 -0400 (Mon, 15 Jun 2009) New Revision: 15955 Modified: trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/preferences/ConsoleConfigurationPreferences.java Log: https://jira.jboss.org/jira/browse/JBIDE-3785 - temporary solution just to fix compilation problems Modified: trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/preferences/ConsoleConfigurationPreferences.java =================================================================== --- trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/preferences/ConsoleConfigurationPreferences.java 2009-06-15 15:36:09 UTC (rev 15954) +++ trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/preferences/ConsoleConfigurationPreferences.java 2009-06-15 15:57:28 UTC (rev 15955) @@ -86,6 +86,10 @@ } return rtn; } + + public static String[] values() { + return null; + } }